max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(CMakeLists): remove dead code

Browse source
This commit is contained in:
Sebastian Ullrich 2019-03-18 17:56:40 +01:00
parent f160fd8de0
commit 246d2914da
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/CMakeLists.txt
View file

@ -445,9 +445,6 @@ set(LEAN_OBJS ${LEAN_OBJS} $<TARGET_OBJECTS:lean_frontend>)
add_subdirectory(init)
set(LEAN_OBJS ${LEAN_OBJS} $<TARGET_OBJECTS:init>)
add_subdirectory(stage0)
if(STAGE1)
add_subdirectory(stage1)
endif()
if(EMSCRIPTEN)
set(LEAN_LIBRARY_TYPE SHARED)
else()