From 5562beccee4bef3bd169dc4da77dfb20070c7e0a Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 22 Oct 2021 10:40:22 +0200 Subject: [PATCH] fix: actually install all bundled files --- src/CMakeLists.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 3b65cb61e5..20736c6539 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -377,9 +377,9 @@ else() set(LEAN_IS_STAGE0 "#define LEAN_IS_STAGE0 0") endif() configure_file("${LEAN_SOURCE_DIR}/config.h.in" "${LEAN_BINARY_DIR}/include/lean/config.h") -install(DIRECTORY ${LEAN_BINARY_DIR}/include/lean DESTINATION include) +install(DIRECTORY ${LEAN_BINARY_DIR}/include/ DESTINATION include) configure_file(${LEAN_SOURCE_DIR}/lean.mk.in ${LEAN_BINARY_DIR}/share/lean/lean.mk) -install(DIRECTORY ${LEAN_BINARY_DIR}/share/lean DESTINATION share) +install(DIRECTORY ${LEAN_BINARY_DIR}/share/ DESTINATION share) include_directories(${LEAN_SOURCE_DIR}) include_directories(${CMAKE_BINARY_DIR}) # version.h etc., "private" headers @@ -518,7 +518,7 @@ add_custom_target(clean-stdlib add_custom_target(clean-olean DEPENDS clean-stdlib) -install(DIRECTORY "${CMAKE_BINARY_DIR}/lib/lean" DESTINATION lib) +install(DIRECTORY "${CMAKE_BINARY_DIR}/lib/" DESTINATION lib PATTERN temp EXCLUDE) install(CODE "execute_process(COMMAND sh -c \"cp ${CMAKE_BINARY_DIR}/lib/*.* \${CMAKE_INSTALL_PREFIX}/lib\")")