diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-06 15:35:55 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | cd7f4a4952c75d8a9fefa18c9cb454a5b24bf0fa (patch) | |
tree | e54cc90bba203c2af615ba991ee5841833cd88ca /CMakeLists.txt | |
parent | a05221176805fb1cc9fd07a5eb72a9c561517e3d (diff) |
cmake: Add ENABLE_BEST to enable best configuration of dependencies.
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 57 |
1 files changed, 38 insertions, 19 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 686c7b514..69229c09d 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -154,16 +154,18 @@ endmacro() # User options # License -option(ENABLE_GPL "Enable GPL dependencies" OFF) +option(ENABLE_GPL "Enable GPL dependencies") # General build options -# >> 3-valued: INGORE ON OFF, allows to detect if set by user -# this is only necessary for options set for build types! +# +# >> 3-valued: INGORE ON OFF +# > allows to detect if set by user (default: IGNORE) +# > only necessary for options set for build types cvc4_option(ENABLE_ASAN "Enable ASAN build") cvc4_option(ENABLE_ASSERTIONS "Enable assertions") cvc4_option(ENABLE_DEBUG_SYMBOLS "Enable debug symbols") -cvc4_option(ENABLE_DUMPING "Enable dumpin") -cvc4_option(ENABLE_MUZZLE "Enable silencing CVC4; supress ALL non-result output") +cvc4_option(ENABLE_DUMPING "Enable dumping") +cvc4_option(ENABLE_MUZZLE "Supress ALL non-result output") cvc4_option(ENABLE_OPTIMIZED "Enable optimization") cvc4_option(ENABLE_PORTFOLIO "Enable portfolio support") cvc4_option(ENABLE_PROOFS "Enable proof support") @@ -173,20 +175,27 @@ 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") -option(ENABLE_PROFILING "Enable support for gprof profiling") +# >> 2-valued: ON OFF +# > for options where we don't need to detect if set by user (default: OFF) +option(ENABLE_BEST "Enable dependencies known to give best performance") +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_GLPK "Use GLPK simplex solver") -option(USE_LFSC "Use LFSC proof checker") -option(USE_READLINE "Use readline for better interactive support") -option(USE_SYMFPU "Use SymFPU for floating point support") +# +# >> 3-valued: INGORE ON OFF +# > allows to detect if set by user (default: IGNORE) +# > only necessary for options set for ENABLE_BEST +cvc4_option(USE_ABC "Use ABC for AIG bit-blasting") +cvc4_option(USE_CLN "Use CLN instead of GMP") +cvc4_option(USE_GLPK "Use GLPK simplex solver") +cvc4_option(USE_READLINE "Use readline for better interactive support") +# >> 2-valued: ON OFF +# > for options where we don't need to detect if set by user (default: OFF) +option(USE_CADICAL "Use CaDiCaL SAT solver") +option(USE_CRYPTOMINISAT "Use CryptoMiniSat SAT solver") +option(USE_LFSC "Use LFSC proof checker") +option(USE_SYMFPU "Use SymFPU for floating point support") # Custom install directories for dependencies # If no directory is provided by the user, we first check if the dependency was @@ -203,8 +212,8 @@ set(LFSC_DIR "" CACHE STRING "Set LFSC install directory") set(SYMFPU_DIR "" CACHE STRING "Set SymFPU install directory") # Supported language bindings -option(BUILD_BINDINGS_JAVA "Build Java bindings" OFF) -option(BUILD_BINDINGS_PYTHON "Build Python bindings" OFF) +option(BUILD_BINDINGS_JAVA "Build Java bindings") +option(BUILD_BINDINGS_PYTHON "Build Python bindings") # All bindings: c,java,csharp,perl,php,python,ruby,tcl,ocaml @@ -272,6 +281,16 @@ cvc4_set_option(ENABLE_SHARED ON) cvc4_set_option(ENABLE_VALGRIND OFF) #-----------------------------------------------------------------------------# +# Set options for best configuration + +if (ENABLE_BEST) + cvc4_set_option(USE_ABC ON) + cvc4_set_option(USE_CLN ON) + cvc4_set_option(USE_GLPK ON) + cvc4_set_option(USE_READLINE ON) +endif() + +#-----------------------------------------------------------------------------# # This needs to be set before any find_package(...) command since we want to # search for static libraries with suffix .a. |