Dmitry Roshchin
8f89ebddf9
Lean 4 programming language and theorem prover. Its build requires cadical: https://build.opensuse.org/requests/1237556 OBS-URL: https://build.opensuse.org/request/show/1237557 OBS-URL: https://build.opensuse.org/package/show/science/lean4?expand=0&rev=1
14 lines
522 B
Diff
14 lines
522 B
Diff
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
|
|
index 7ba380fc0b..bc3cf0189b 100644
|
|
--- a/src/CMakeLists.txt
|
|
+++ b/src/CMakeLists.txt
|
|
@@ -588,7 +588,7 @@ add_custom_target(clean-stdlib
|
|
add_custom_target(clean-olean
|
|
DEPENDS clean-stdlib)
|
|
|
|
-install(DIRECTORY "${CMAKE_BINARY_DIR}/lib/" DESTINATION lib
|
|
+install(DIRECTORY "${CMAKE_BINARY_DIR}/lib/" DESTINATION "${CMAKE_INSTALL_LIBDIR}"
|
|
PATTERN temp EXCLUDE)
|
|
|
|
# symlink source into expected installation location for go-to-definition, if file system allows it
|