diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-02 16:20:45 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-02 16:20:45 -0700 |
commit | 5001fa069ab42134333244b3f27c852724cea3e2 (patch) | |
tree | c03b1730016a03094064b01311d5a529d9e00641 /cmake | |
parent | 902262c421e52405204b3a95310c8414cc51a5c5 (diff) |
Update CaDiCaL to version 1.0.3. (#3137)
* Removes incremental API check (#3011)
* Fixes toSatValueLit to use the new semantics of CaDiCaL's val()
Fixes #3011
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/ConfigureCVC4.cmake | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/cmake/ConfigureCVC4.cmake b/cmake/ConfigureCVC4.cmake index cdf8e4d9a..67c1f414d 100644 --- a/cmake/ConfigureCVC4.cmake +++ b/cmake/ConfigureCVC4.cmake @@ -67,20 +67,6 @@ check_symbol_exists(sigaltstack "signal.h" HAVE_SIGALTSTACK) check_symbol_exists(strerror_r "string.h" HAVE_STRERROR_R) check_symbol_exists(strtok_r "string.h" HAVE_STRTOK_R) -# Check whether the verison of CaDiCaL used supports incremental solving -if(USE_CADICAL) - check_cxx_source_compiles( - " - #include <${CaDiCaL_HOME}/src/cadical.hpp> - int main() { return sizeof(&CaDiCaL::Solver::assume); } - " - CVC4_INCREMENTAL_CADICAL - ) - if(CVC4_INCREMENTAL_CADICAL) - add_definitions(-DCVC4_INCREMENTAL_CADICAL) - endif() -endif() - # Determine if we have the POSIX (int) or GNU (char *) variant of strerror_r. check_c_source_compiles( " |