blob: 68de472208ffaffc67bdd625501edf57d12b778c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
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")
|
