😅

leanprover · Sep 30, 2024 · 0017e93 · 0017e93
1 parent 12fa7bb
commit 0017e93
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -247,31 +247,33 @@ endif()
 if("${CMAKE_SYSTEM_NAME}" MATCHES "Emscripten")
   # Only on WebAssembly we compile LibUV ourselves
   set(LIBUV_EMSCRIPTEN_FLAGS "${EMSCRIPTEN_SETTINGS}")
-  set(LIBUV_PATCH "
+  set(LIBUV_PATCH_IN "
 diff --git a/CMakeLists.txt b/CMakeLists.txt
 index 5e8e0166..f3b29134 100644
 --- a/CMakeLists.txt
 +++ b/CMakeLists.txt
-@@ -317,6 +317,11 @@ if(CMAKE_SYSTEM_NAME STREQUAL "GNU")
+@@ -317,6 +317,11 @@ if(CMAKE_SYSTEM_NAME STREQUAL \"GNU\")
         src/unix/hurd.c)
  endif()
 
-+if(CMAKE_SYSTEM_NAME STREQUAL "Emscripten")
++if(CMAKE_SYSTEM_NAME STREQUAL \"Emscripten\")
 +  list(APPEND uv_sources
 +       src/unix/no-proctitle.c)
 +endif()
 +
- if(CMAKE_SYSTEM_NAME STREQUAL "Linux")
+ if(CMAKE_SYSTEM_NAME STREQUAL \"Linux\")
    list(APPEND uv_defines _GNU_SOURCE _POSIX_C_SOURCE=200112)
    list(APPEND uv_libraries dl rt)
 ")
+  string(REPLACE "\n" "\\n" LIBUV_PATCH ${LIBUV_PATCH_IN})
+
   ExternalProject_add(libuv
     PREFIX libuv
     GIT_REPOSITORY https://github.com/libuv/libuv
     # Sync version with flake.nix
     GIT_TAG v1.48.0
     CMAKE_ARGS -DCMAKE_BUILD_TYPE=Release -DLIBUV_BUILD_TESTS=OFF -DLIBUV_BUILD_SHARED=OFF -DCMAKE_AR=${CMAKE_AR} -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE} -DCMAKE_POSITION_INDEPENDENT_CODE=ON -DCMAKE_C_FLAGS=${LIBUV_EMSCRIPTEN_FLAGS}
-    PATCH_COMMAND ${CMAKE_COMMAND} -E echo "${LIBUV_PATCH}" > patch.diff && git apply patch.diff
+    PATCH_COMMAND printf "${LIBUV_PATCH}" > patch.diff && git apply patch.diff
     BUILD_IN_SOURCE ON
     INSTALL_COMMAND "")
   set(LIBUV_INCLUDE_DIR "${CMAKE_BINARY_DIR}/libuv/src/libuv/include")