diff options
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") |