chore: next try

leanprover · Jan 13, 2025 · a0b000b · a0b000b
1 parent 79b2379
commit a0b000b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -302,7 +302,8 @@ else()
 endif()
 include_directories(${LIBUV_INCLUDE_DIR})
 if(NOT LEAN_STANDALONE)
-  string(JOIN " " LEAN_EXTRA_LINKER_FLAGS ${LIBUV_LDFLAGS})
+  string(JOIN " " LIBUV_LDFLAGS ${LIBUV_LDFLAGS})
+  string(APPEND LEAN_EXTRA_LINKER_FLAGS " ${LIBUV_LDFLAGS}")
 endif()
 
 # Windows SDK (for ICU)

diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt