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/FindCryptoMiniSat.cmake | |
parent | 46bae5d2a8b22867f917c6f644e46e29884049f9 (diff) |
contrib: Setup all dependencies in deps/ directory. (#3534)
Diffstat (limited to 'cmake/FindCryptoMiniSat.cmake')
-rw-r--r-- | cmake/FindCryptoMiniSat.cmake | 23 |
1 files changed, 2 insertions, 21 deletions
diff --git a/cmake/FindCryptoMiniSat.cmake b/cmake/FindCryptoMiniSat.cmake index d96c54eb3..44b30ba7e 100644 --- a/cmake/FindCryptoMiniSat.cmake +++ b/cmake/FindCryptoMiniSat.cmake @@ -4,27 +4,8 @@ # CryptoMiniSat_LIBRARIES - Libraries needed to use CryptoMiniSat -# Check default location of CryptoMiniSat built with contrib/get-cryptominisat. -# If the user provides a directory we will not search the default paths and -# fail if CryptoMiniSat was not found in the specified directory. -if(NOT CryptoMiniSat_HOME) - set(CryptoMiniSat_HOME ${PROJECT_SOURCE_DIR}/cryptominisat5/build) - set(CHECK_SYSTEM_VERSION TRUE) -endif() - -find_path(CryptoMiniSat_INCLUDE_DIR - NAMES cryptominisat5/cryptominisat.h - PATHS ${CryptoMiniSat_HOME}/include ${CryptoMiniSat_HOME}/cmsat5-src - NO_DEFAULT_PATH) -find_library(CryptoMiniSat_LIBRARIES - NAMES cryptominisat5 - PATHS ${CryptoMiniSat_HOME}/lib - NO_DEFAULT_PATH) - -if(CHECK_SYSTEM_VERSION) - find_path(CryptoMiniSat_INCLUDE_DIR NAMES cryptominisat5/cryptominisat.h) - find_library(CryptoMiniSat_LIBRARIES NAMES cryptominisat5) -endif() +find_path(CryptoMiniSat_INCLUDE_DIR NAMES cryptominisat5/cryptominisat.h) +find_library(CryptoMiniSat_LIBRARIES NAMES cryptominisat5) include(FindPackageHandleStandardArgs) find_package_handle_standard_args(CryptoMiniSat |