diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-03-31 22:00:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-31 20:00:54 +0000 |
| commit | 39ea1d8a1497a83d1efc649bd10da82916e5db5f (patch) | |
| tree | 3fb701819277f3683f0baf40147a5eb94789009d /src | |
| parent | b7210ed60d517aebb25c23a2f407ee59562587dd (diff) | |
Refactor dependencies for external SAT solvers (#6215)
This PR refactors how we obtain, build and use the external SAT solvers used by CVC4: CaDiCaL, CryptoMiniSat and Kissat.
All three contrib scripts are removed and instead an external project is integrated into the cmake find scripts.
Diffstat (limited to 'src')
| -rw-r--r-- | src/CMakeLists.txt | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 1a8c1964d..78236f989 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1131,20 +1131,17 @@ if(USE_ABC) target_include_directories(cvc4 PRIVATE ${ABC_INCLUDE_DIR}) endif() if(USE_CADICAL) - target_link_libraries(cvc4 PRIVATE ${CaDiCaL_LIBRARIES}) - target_include_directories(cvc4 PRIVATE ${CaDiCaL_INCLUDE_DIR}) + target_link_libraries(cvc4 PRIVATE CaDiCaL) endif() if(USE_CLN) target_link_libraries(cvc4 PRIVATE ${CLN_LIBRARIES}) target_include_directories(cvc4 PRIVATE $<BUILD_INTERFACE:${CLN_INCLUDE_DIR}>) endif() if(USE_CRYPTOMINISAT) - target_link_libraries(cvc4 PRIVATE ${CryptoMiniSat_LIBRARIES}) - target_include_directories(cvc4 PRIVATE ${CryptoMiniSat_INCLUDE_DIR}) + target_link_libraries(cvc4 PRIVATE CryptoMiniSat) endif() if(USE_KISSAT) - target_link_libraries(cvc4 PRIVATE ${Kissat_LIBRARIES}) - target_include_directories(cvc4 PRIVATE ${Kissat_INCLUDE_DIR}) + target_link_libraries(cvc4 PRIVATE Kissat) endif() if(USE_GLPK) target_link_libraries(cvc4 PRIVATE ${GLPK_LIBRARIES}) |