fix fp issue (#2940)

[cvc5.git] / cmake / FindCaDiCaL.cmake

diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake
index e3a045911a6ec81c1a760f30521d11c96dead9c9..bd7de319aadc6576f0ae0a9aaa465606145b6541 100644 (file)
--- a/cmake/FindCaDiCaL.cmake
+++ b/cmake/FindCaDiCaL.cmake
@@ -3,12 +3,28 @@
 # CaDiCaL_INCLUDE_DIR - the CaDiCaL include directory
 # CaDiCaL_LIBRARIES - Libraries needed to use CaDiCaL
 
+
+# Check default location of CaDiCaL built with contrib/get-cadical.
+# If the user provides a directory we will not search the default paths and
+# fail if CaDiCaL was not found in the specified directory.
+if(NOT CaDiCaL_HOME)
+  set(CaDiCaL_HOME ${PROJECT_SOURCE_DIR}/cadical)
+  set(CHECK_SYSTEM_VERSION TRUE)
+endif()
+
 find_path(CaDiCaL_INCLUDE_DIR
           NAMES cadical.hpp
-          PATHS "${PROJECT_SOURCE_DIR}/cadical/src")
+          PATHS ${CaDiCaL_HOME}/src
+          NO_DEFAULT_PATH)
 find_library(CaDiCaL_LIBRARIES
              NAMES cadical
-             PATHS "${PROJECT_SOURCE_DIR}/cadical/build")
+             PATHS ${CaDiCaL_HOME}/build
+             NO_DEFAULT_PATH)
+
+if(CHECK_SYSTEM_VERSION)
+  find_path(CaDiCaL_INCLUDE_DIR NAMES cadical.hpp)
+  find_library(CaDiCaL_LIBRARIES NAMES cadical)
+endif()
 
 include(FindPackageHandleStandardArgs)
 find_package_handle_standard_args(CaDiCaL
@@ -16,3 +32,6 @@ find_package_handle_standard_args(CaDiCaL
   CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES)
 
 mark_as_advanced(CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES)
+if(CaDiCaL_LIBRARIES)
+  message(STATUS "Found CaDiCaL libs: ${CaDiCaL_LIBRARIES}")
+endif()