chore: restore Lake build

leanprover · Sep 10, 2024 · 7abe46c · 7abe46c
1 parent 9fb48df
commit 7abe46c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -606,7 +606,7 @@ else()
 endif()
 
 if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
-  add_custom_target(lake # ALL # TODO restore after stage 0 update
+  add_custom_target(lake ALL
     WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
     DEPENDS leanshared
     COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make Lake