diff options
Diffstat (limited to 'cmake/ConfigureCVC4.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( " |