diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-24 19:27:37 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 0b4926e10f7788f209bbc515e13d1884a8590bb4 (patch) | |
tree | 9caa1213bec6b679d7829406cb6f400cad61ebe5 /CMakeLists.txt | |
parent | cdac01abe2bff167a82f749c8bf7a2d2bcd69498 (diff) |
cmake: Add module finder for ABC.
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 81e9a0e30..9a2f8ed8a 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -146,16 +146,18 @@ cvc4_option(ENABLE_TRACING "Enable tracing") cvc4_option(ENABLE_UNIT_TESTING "Enable unit testing") cvc4_option(ENABLE_VALGRIND "Enable valgrind instrumentation") cvc4_option(ENABLE_SHARED "Build as shared library") + # >> 2-valued: ON OFF, for options where we don't need to detect if set by user -option(ENABLE_COVERAGE "Enable support for gcov coverage testing" OFF) -option(ENABLE_PROFILING "Enable support for gprof profiling" OFF) +option(ENABLE_COVERAGE "Enable support for gcov coverage testing") +option(ENABLE_PROFILING "Enable support for gprof profiling") # Optional dependencies +option(USE_ABC "Use ABC for AIG bit-blasting") option(USE_CADICAL "Use CaDiCaL SAT solver") option(USE_CLN "Use CLN instead of GMP") option(USE_CRYPTOMINISAT "Use CryptoMiniSat SAT solver") option(USE_LFSC "Use LFSC proof checker") -option(USE_READLINE "Use readline for better interactive support" OFF) +option(USE_READLINE "Use readline for better interactive support") option(USE_SYMFPU "Use SymFPU for floating point support") # Supported language bindings @@ -338,6 +340,13 @@ if(ENABLE_VALGRIND) add_definitions(-DCVC4_VALGRIND) endif() +if(USE_ABC) + find_package(ABC REQUIRED) + cvc4_link_library(${ABC_LIBRARIES}) + include_directories(${ABC_INCLUDE_DIR}) + add_definitions(-DCVC4_USE_ABC ${ABC_ARCH_FLAGS}) +endif() + if(USE_CADICAL) find_package(CaDiCaL REQUIRED) cvc4_link_library(${CaDiCaL_LIBRARIES}) @@ -576,7 +585,7 @@ endif() #message("Multithreaded: ${support_multithreaded}") message("Portfolio : ${ENABLE_PORTFOLIO}") message("") -#message("ABC : ${{with_abc}") +message("ABC : ${USE_ABC}") message("CaDiCaL : ${USE_CADICAL}") message("Cryptominisat : ${USE_CRYPTOMINISAT}") #message("GLPK : ${USE_GLPK}") |