diff options
| author | Lexi Winter <ivy@FreeBSD.org> | 2025-12-01 03:19:41 +0000 |
|---|---|---|
| committer | Lexi Winter <ivy@FreeBSD.org> | 2025-12-01 03:19:41 +0000 |
| commit | 2e80774d0b20d167bc0a9e2b63dafbfb171c0d22 (patch) | |
| tree | 25f0138e1af8902b92dacc8cce09b267447c17db /math/lean4/files/patch-src_shell_CMakeLists.txt | |
| parent | f85f2b2d6e5b7ed869376eb4b180c3a74a5c5da9 (diff) | |
| parent | 1a30da80670973368b399f2b01fe9c04b91a1273 (diff) | |
Merge remote-tracking branch 'freebsd/main' into lf/mainlf/main
Diffstat (limited to 'math/lean4/files/patch-src_shell_CMakeLists.txt')
| -rw-r--r-- | math/lean4/files/patch-src_shell_CMakeLists.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/math/lean4/files/patch-src_shell_CMakeLists.txt b/math/lean4/files/patch-src_shell_CMakeLists.txt new file mode 100644 index 000000000000..68de472208ff --- /dev/null +++ b/math/lean4/files/patch-src_shell_CMakeLists.txt @@ -0,0 +1,11 @@ +--- src/shell/CMakeLists.txt.orig 2025-11-18 02:29:21 UTC ++++ src/shell/CMakeLists.txt +@@ -57,7 +57,7 @@ endif() + endif() + + # LEANC_OPTS in CXX is necessary for macOS c++ to find its headers +-set(TEST_VARS "PATH=${LEAN_BIN}:$PATH ${LEAN_TEST_VARS} CXX='${CMAKE_CXX_COMPILER} ${LEANC_OPTS}' LEANC_OPTS='${LEANC_OPTS}'") ++set(TEST_VARS "PATH=${LEAN_BIN}:$PATH LD_LIBRARY_PATH=${CMAKE_BINARY_DIR}/lib/lean:\${LD_LIBRARY_PATH:-} ${LEAN_TEST_VARS} CXX='${CMAKE_CXX_COMPILER} ${LEANC_OPTS}' LEANC_OPTS='${LEANC_OPTS}'") + + # LEAN TESTS + file(GLOB LEANTESTS "${LEAN_SOURCE_DIR}/../tests/lean/*.lean") |