diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 15:27:59 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-28 08:19:52 +0100 |
| commit | 5ebe8a62961b7779658d36b0eff16b1a12030471 (patch) | |
| tree | 1fc23187b1aa726dfef56afe3061d407aad098e6 /CMakeLists.txt | |
| parent | 8fe7668af7cbd28e1342275430322ebf2ea06675 (diff) | |
| download | klee-5ebe8a62961b7779658d36b0eff16b1a12030471.tar.gz | |
[CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be set
dynamically based on whether MetaSMT is available. Previously the default was always off.
Diffstat (limited to 'CMakeLists.txt')
| -rw-r--r-- | CMakeLists.txt | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 0b7b2869..2f162f21 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -309,20 +309,10 @@ include(${CMAKE_SOURCE_DIR}/cmake/compiler_warnings.cmake) ################################################################################ # STP include(${CMAKE_SOURCE_DIR}/cmake/find_stp.cmake) - # Z3 include(${CMAKE_SOURCE_DIR}/cmake/find_z3.cmake) - # metaSMT -option(ENABLE_SOLVER_METASMT "Enable metaSMT solver support" OFF) -if (ENABLE_SOLVER_METASMT) - message(STATUS "metaSMT solver support enabled") - set(ENABLE_METASMT 1) - include(${CMAKE_SOURCE_DIR}/cmake/find_metasmt.cmake) -else() - message(STATUS "metaSMT solver support disabled") - set(ENABLE_METASMT 0) # For config.h -endif() +include(${CMAKE_SOURCE_DIR}/cmake/find_metasmt.cmake) if ((NOT ${ENABLE_Z3}) AND (NOT ${ENABLE_STP}) AND (NOT ${ENABLE_METASMT})) message(FATAL_ERROR "No solver was specified. At least one solver is required." |