diff options
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/FindCryptoMiniSat.cmake | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cmake/FindCryptoMiniSat.cmake b/cmake/FindCryptoMiniSat.cmake index 7806b242d..d96c54eb3 100644 --- a/cmake/FindCryptoMiniSat.cmake +++ b/cmake/FindCryptoMiniSat.cmake @@ -8,13 +8,13 @@ # 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/install) + 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 + PATHS ${CryptoMiniSat_HOME}/include ${CryptoMiniSat_HOME}/cmsat5-src NO_DEFAULT_PATH) find_library(CryptoMiniSat_LIBRARIES NAMES cryptominisat5 |