cmake: set COPY_CADICAL when building cadical to determine whether to…

… copy it closes: #5603
leanprover · Nov 3, 2024 · bc643f6 · bc643f6
1 parent cd24e9d
commit bc643f6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -55,6 +55,7 @@ if (NOT ${CMAKE_SYSTEM_NAME} MATCHES "Emscripten")
       INSTALL_COMMAND "")
     set(CADICAL ${CMAKE_BINARY_DIR}/cadical/cadical${CMAKE_EXECUTABLE_SUFFIX} CACHE FILEPATH "path to cadical binary" FORCE)
     set(EXTRA_DEPENDS "cadical")
+    set(COPY_CADICAL ON)
   endif()
   list(APPEND CL_ARGS -DCADICAL=${CADICAL})
 endif()

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -614,7 +614,7 @@ else()
     OUTPUT_NAME leancpp)
 endif()
 
-if((${STAGE} GREATER 0) AND CADICAL)
+if((${STAGE} GREATER 0) AND COPY_CADICAL)
   add_custom_target(copy-cadical
     COMMAND cmake -E copy_if_different "${CADICAL}" "${CMAKE_BINARY_DIR}/bin/cadical${CMAKE_EXECUTABLE_SUFFIX}")
   add_dependencies(leancpp copy-cadical)
@@ -736,7 +736,7 @@ file(COPY ${LEAN_SOURCE_DIR}/bin/leanmake DESTINATION ${CMAKE_BINARY_DIR}/bin)
 
 install(DIRECTORY "${CMAKE_BINARY_DIR}/bin/" USE_SOURCE_PERMISSIONS DESTINATION bin)
 
-if (${STAGE} GREATER 0 AND CADICAL)
+if (${STAGE} GREATER 0 AND COPY_CADICAL)
   install(PROGRAMS "${CADICAL}" DESTINATION bin)
 endif()