From bf82965eec1d081fc8993910735068bcd6ec1edd Mon Sep 17 00:00:00 2001
From: Markus Himmel <markus@lean-fro.org>
Date: Wed, 7 Aug 2024 17:34:21 +0200
Subject: [PATCH] chore: avoid builing Lake

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

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 0699177388..3225c1469c 100644
--- a/src/CMakeLists.txt
+++ b/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