diff options
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 45 |
1 files changed, 1 insertions, 44 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index a8c1e2e0d..c6909d216 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -61,27 +61,9 @@ endif() if(ABC_DIR) list(APPEND CMAKE_PREFIX_PATH "${ABC_DIR}") endif() -if(CADICAL_DIR) - list(APPEND CMAKE_PREFIX_PATH "${CADICAL_DIR}") -endif() -if(CRYPTOMINISAT_DIR) - list(APPEND CMAKE_PREFIX_PATH "${CRYPTOMINISAT_DIR}") -endif() if(GLPK_DIR) list(APPEND CMAKE_PREFIX_PATH "${GLPK_DIR}") endif() -if(GMP_DIR) - list(APPEND CMAKE_PREFIX_PATH "${GMP_DIR}") -endif() -if(KISSAT_DIR) - list(APPEND CMAKE_PREFIX_PATH "${KISSAT_DIR}") -endif() -if(POLY_DIR) - list(APPEND CMAKE_PREFIX_PATH "${POLY_DIR}") -endif() -if(SYMFPU_DIR) - list(APPEND CMAKE_PREFIX_PATH "${SYMFPU_DIR}") -endif() # By default the contrib/get-* scripts install dependencies to deps/install. list(APPEND CMAKE_PREFIX_PATH "${PROJECT_SOURCE_DIR}/deps/install") @@ -148,13 +130,7 @@ option(USE_PYTHON2 "Force Python 2 (deprecated)") # check the intalled system version. If the user provides a directory we # immediately fail if the dependency was not found at the specified location. set(ABC_DIR "" CACHE STRING "Set ABC install directory") -set(CADICAL_DIR "" CACHE STRING "Set CaDiCaL install directory") -set(CRYPTOMINISAT_DIR "" CACHE STRING "Set CryptoMiniSat install directory") set(GLPK_DIR "" CACHE STRING "Set GLPK install directory") -set(GMP_DIR "" CACHE STRING "Set GMP install directory") -set(KISSAT_DIR "" CACHE STRING "Set Kissat install directory") -set(POLY_DIR "" CACHE STRING "Set LibPoly install directory") -set(SYMFPU_DIR "" CACHE STRING "Set SymFPU install directory") # Prepend binaries with prefix on make install set(PROGRAM_PREFIX "" CACHE STRING "Program prefix on make install") @@ -341,7 +317,7 @@ else() find_package(PythonInterp 3 REQUIRED) endif() -find_package(GMP REQUIRED) +find_package(GMP 6.2 REQUIRED) if(ENABLE_ASAN) # -fsanitize=address requires CMAKE_REQUIRED_FLAGS to be explicitely set, @@ -686,28 +662,9 @@ message("") if(ABC_DIR) print_config("ABC dir " ${ABC_DIR}) endif() -if(CADICAL_DIR) - print_config("CADICAL dir " ${CADICAL_DIR}) -endif() -if(CRYPTOMINISAT_DIR) - print_config("CRYPTOMINISAT dir " ${CRYPTOMINISAT_DIR}) -endif() if(GLPK_DIR) print_config("GLPK dir " ${GLPK_DIR}) endif() -if(GMP_DIR) - print_config("GMP dir " ${GMP_DIR}) -endif() -if(KISSAT_DIR) - print_config("KISSAT dir " ${KISSAT_DIR}) -endif() -if(POLY_DIR) - print_config("LibPoly dir " ${POLY_DIR}) -endif() -if(SYMFPU_DIR) - print_config("SYMFPU dir " ${SYMFPU_DIR}) -endif() -print_config("asdf" "") message("") print_config("CPPLAGS (-D...)" "${CVC4_DEFINITIONS}") print_config("CXXFLAGS " "${CMAKE_CXX_FLAGS}") |