From 63c4de5fea9e083ba09e4e243e04cdff428b7beb Mon Sep 17 00:00:00 2001
From: Markus Himmel <markus@lean-fro.org>
Date: Wed, 7 Aug 2024 17:45:45 +0200
Subject: [PATCH] chore: update stage0

---
 stage0/src/CMakeLists.txt | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt
index 3225c1469c..0699177388 100644
--- a/stage0/src/CMakeLists.txt
+++ b/stage0/src/CMakeLists.txt
@@ -579,13 +579,13 @@ else()
   string(APPEND CMAKE_EXE_LINKER_FLAGS " -lInit_shared -lleanshared")
 endif()
 
-#if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
-#  add_custom_target(lake ALL
-#    WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
-#    DEPENDS leanshared
-#    COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make Lake
-#    VERBATIM)
-#endif()
+if(NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
+  add_custom_target(lake ALL
+    WORKING_DIRECTORY ${LEAN_SOURCE_DIR}
+    DEPENDS leanshared
+    COMMAND $(MAKE) -f ${CMAKE_BINARY_DIR}/stdlib.make Lake
+    VERBATIM)
+endif()
 
 if(PREV_STAGE)
   add_custom_target(update-stage0