diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-12-06 06:48:04 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-06 08:48:04 -0600 |
commit | 008d6b51baec353f45324e1d9407d898866cf688 (patch) | |
tree | 136e5c1dcbfb32f1fed99b853b79c2f7ecc6b5d2 /cmake/FindCaDiCaL.cmake | |
parent | 46bae5d2a8b22867f917c6f644e46e29884049f9 (diff) |
contrib: Setup all dependencies in deps/ directory. (#3534)
Diffstat (limited to 'cmake/FindCaDiCaL.cmake')
-rw-r--r-- | cmake/FindCaDiCaL.cmake | 24 |
1 files changed, 2 insertions, 22 deletions
diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake index bd7de319a..5ca7ce7b0 100644 --- a/cmake/FindCaDiCaL.cmake +++ b/cmake/FindCaDiCaL.cmake @@ -3,28 +3,8 @@ # 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 ${CaDiCaL_HOME}/src - NO_DEFAULT_PATH) -find_library(CaDiCaL_LIBRARIES - NAMES cadical - 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() +find_path(CaDiCaL_INCLUDE_DIR NAMES cadical.hpp) +find_library(CaDiCaL_LIBRARIES NAMES cadical) include(FindPackageHandleStandardArgs) find_package_handle_standard_args(CaDiCaL |