40 lines
2.1 KiB
Plaintext
40 lines
2.1 KiB
Plaintext
--- src/CMakeLists.txt.orig 2025-11-18 02:29:21 UTC
|
|
+++ src/CMakeLists.txt
|
|
@@ -473,6 +473,17 @@ if(${CMAKE_SYSTEM_NAME} MATCHES "Linux")
|
|
string(APPEND TOOLCHAIN_SHARED_LINKER_FLAGS " -Wl,-rpath=\\$$ORIGIN/..:\\$$ORIGIN")
|
|
string(APPEND LAKESHARED_LINKER_FLAGS " -Wl,--whole-archive ${CMAKE_BINARY_DIR}/lib/lean/libLake.a.export -Wl,--no-whole-archive")
|
|
string(APPEND CMAKE_EXE_LINKER_FLAGS " -Wl,-rpath=$ORIGIN/../lib:$ORIGIN/../lib/lean")
|
|
+elseif(${CMAKE_SYSTEM_NAME} MATCHES "FreeBSD")
|
|
+ if(BSYMBOLIC)
|
|
+ string(APPEND LEANC_SHARED_LINKER_FLAGS " -Wl,-Bsymbolic")
|
|
+ string(APPEND TOOLCHAIN_SHARED_LINKER_FLAGS " -Wl,-Bsymbolic")
|
|
+ endif()
|
|
+ string(APPEND CMAKE_CXX_FLAGS " -fPIC -ftls-model=initial-exec")
|
|
+ string(APPEND LEANC_EXTRA_FLAGS " -fPIC")
|
|
+ string(APPEND TOOLCHAIN_SHARED_LINKER_FLAGS " -Wl,-rpath=\\$$ORIGIN/..:\\$$ORIGIN")
|
|
+ string(APPEND LAKESHARED_LINKER_FLAGS " -Wl,--whole-archive ${CMAKE_BINARY_DIR}/lib/lean/libLake.a.export -Wl,--no-whole-archive")
|
|
+ string(APPEND CMAKE_EXE_LINKER_FLAGS " -Wl,-rpath=$ORIGIN/../lib:$ORIGIN/../lib/lean")
|
|
+ set(LEAN_EXTRA_LAKEFILE_TOML "weakLeancArgs = [\"-fPIC\"]")
|
|
elseif(${CMAKE_SYSTEM_NAME} MATCHES "Darwin")
|
|
string(APPEND CMAKE_CXX_FLAGS " -ftls-model=initial-exec")
|
|
string(APPEND INIT_SHARED_LINKER_FLAGS " -install_name @rpath/libInit_shared.dylib")
|
|
@@ -586,6 +597,9 @@ string(APPEND LEANC_OPTS " -I${CMAKE_BINARY_DIR}/inclu
|
|
# Lean code only needs this one include
|
|
string(APPEND LEANC_OPTS " -I${CMAKE_BINARY_DIR}/include")
|
|
|
|
+# Include extra flags (e.g., -fPIC on FreeBSD)
|
|
+string(APPEND LEANC_OPTS " ${LEANC_EXTRA_FLAGS}")
|
|
+
|
|
# Use CMake profile C++ flags for building Lean libraries, but do not embed in `leanc`
|
|
string(TOUPPER "${CMAKE_BUILD_TYPE}" uppercase_CMAKE_BUILD_TYPE)
|
|
string(APPEND LEANC_OPTS " ${CMAKE_CXX_FLAGS_${uppercase_CMAKE_BUILD_TYPE}}")
|
|
@@ -814,7 +828,7 @@ endif()
|
|
file(CREATE_LINK ${CMAKE_SOURCE_DIR} ${CMAKE_BINARY_DIR}/src/lean RESULT _IGNORE_RES SYMBOLIC)
|
|
endif()
|
|
|
|
-install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION src/lean
|
|
+install(DIRECTORY "${CMAKE_SOURCE_DIR}/" DESTINATION share/lean4/src/lean
|
|
FILES_MATCHING
|
|
PATTERN "*.lean"
|
|
PATTERN "*.md"
|