-
Notifications
You must be signed in to change notification settings - Fork 0
/
cmake-pkg-gmp-uv.patch.in
36 lines (32 loc) · 1.1 KB
/
cmake-pkg-gmp-uv.patch.in
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
--- lean4-4.13.0/src/CMakeLists.txt~ 2024-11-22 21:58:51.201717539 +0800
+++ lean4-4.13.0/src/CMakeLists.txt 2024-11-22 22:05:16.265022904 +0800
@@ -235,6 +235,6 @@
endif()
if(NOT LEAN_STANDALONE)
- string(APPEND LEAN_EXTRA_LINKER_FLAGS " ${GMP_LIBRARIES}")
+ string(APPEND LEAN_EXTRA_LINKER_FLAGS " @GMP_LIBRARIES@")
endif()
endif()
@@ -241,6 +241,6 @@
endif()
if(NOT LEAN_STANDALONE)
- string(APPEND LEAN_EXTRA_LINKER_FLAGS " ${LIBUV_LIBRARIES}")
+ string(APPEND LEAN_EXTRA_LINKER_FLAGS " @LIBUV_LIBRARIES@")
endif()
# ccache
--- lean4-4.13.0/stage0/src/CMakeLists.txt~ 2024-10-30 10:57:53.000000000 +0800
+++ lean4-4.13.0/stage0/src/CMakeLists.txt 2024-11-22 22:31:13.713461076 +0800
@@ -235,6 +235,6 @@
endif()
if(NOT LEAN_STANDALONE)
- string(APPEND LEAN_EXTRA_LINKER_FLAGS " ${GMP_LIBRARIES}")
+ string(APPEND LEAN_EXTRA_LINKER_FLAGS " @GMP_LIBRARIES@")
endif()
endif()
@@ -241,6 +241,6 @@
endif()
if(NOT LEAN_STANDALONE)
- string(APPEND LEAN_EXTRA_LINKER_FLAGS " ${LIBUV_LIBRARIES}")
+ string(APPEND LEAN_EXTRA_LINKER_FLAGS " @LIBUV_LIBRARIES@")
endif()
# ccache