diff options
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 94 |
1 files changed, 47 insertions, 47 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 8b2928961..99079ffc4 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -17,22 +17,22 @@ project(cvc4) include(GNUInstallDirs) -set(CVC4_MAJOR 1) # Major component of the version of CVC4. -set(CVC4_MINOR 9) # Minor component of the version of CVC4. -set(CVC4_RELEASE 0) # Release component of the version of CVC4. +set(CVC5_MAJOR 1) # Major component of the version of CVC4. +set(CVC5_MINOR 9) # Minor component of the version of CVC4. +set(CVC5_RELEASE 0) # Release component of the version of CVC4. # Extraversion component of the version of CVC4. -set(CVC4_EXTRAVERSION "-prerelease") +set(CVC5_EXTRAVERSION "-prerelease") # Shared library versioning. Increment SOVERSION for every new CVC4 release. -set(CVC4_SOVERSION 7) +set(CVC5_SOVERSION 7) # Full release string for CVC4. -if(CVC4_RELEASE) - set(CVC4_RELEASE_STRING - "${CVC4_MAJOR}.${CVC4_MINOR}.${CVC4_RELEASE}${CVC4_EXTRAVERSION}") +if(CVC5_RELEASE) + set(CVC5_RELEASE_STRING + "${CVC5_MAJOR}.${CVC5_MINOR}.${CVC5_RELEASE}${CVC5_EXTRAVERSION}") else() - set(CVC4_RELEASE_STRING "${CVC4_MAJOR}.${CVC4_MINOR}${CVC4_EXTRAVERSION}") + set(CVC5_RELEASE_STRING "${CVC5_MAJOR}.${CVC5_MINOR}${CVC5_EXTRAVERSION}") endif() set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake) @@ -334,7 +334,7 @@ endif() if(ENABLE_UBSAN) add_required_c_cxx_flag("-fsanitize=undefined") - add_definitions(-DCVC4_USE_UBSAN) + add_definitions(-DCVC5_USE_UBSAN) endif() if(ENABLE_TSAN) @@ -346,7 +346,7 @@ if(ENABLE_TSAN) endif() if(ENABLE_ASSERTIONS) - add_definitions(-DCVC4_ASSERTIONS) + add_definitions(-DCVC5_ASSERTIONS) else() add_definitions(-DNDEBUG) endif() @@ -354,7 +354,7 @@ endif() if(ENABLE_COVERAGE) include(CodeCoverage) APPEND_COVERAGE_COMPILER_FLAGS() - add_definitions(-DCVC4_COVERAGE) + add_definitions(-DCVC5_COVERAGE) # Note: The ctest command returns a non-zero exit code if tests fail or run # into a timeout. As a consequence, the coverage report is not generated. To # prevent this we always return with exit code 0 after the ctest command has @@ -369,7 +369,7 @@ if(ENABLE_COVERAGE) endif() if(ENABLE_DEBUG_CONTEXT_MM) - add_definitions(-DCVC4_DEBUG_CONTEXT_MEMORY_MANAGER) + add_definitions(-DCVC5_DEBUG_CONTEXT_MEMORY_MANAGER) endif() if(ENABLE_DEBUG_SYMBOLS) @@ -377,53 +377,53 @@ if(ENABLE_DEBUG_SYMBOLS) endif() if(ENABLE_COMP_INC_TRACK) - add_definitions(-DCVC4_SMTCOMP_APPLICATION_TRACK) + add_definitions(-DCVC5_SMTCOMP_APPLICATION_TRACK) endif() if(ENABLE_MUZZLE) - add_definitions(-DCVC4_MUZZLE) + add_definitions(-DCVC5_MUZZLE) endif() if(ENABLE_DUMPING) - add_definitions(-DCVC4_DUMPING) + add_definitions(-DCVC5_DUMPING) endif() if(ENABLE_PROFILING) - add_definitions(-DCVC4_PROFILING) + add_definitions(-DCVC5_PROFILING) add_check_c_cxx_flag("-pg") endif() if(ENABLE_TRACING) - add_definitions(-DCVC4_TRACING) + add_definitions(-DCVC5_TRACING) endif() if(ENABLE_STATISTICS) - add_definitions(-DCVC4_STATISTICS_ON) + add_definitions(-DCVC5_STATISTICS_ON) endif() if(ENABLE_VALGRIND) find_package(Valgrind REQUIRED) - add_definitions(-DCVC4_VALGRIND) + add_definitions(-DCVC5_VALGRIND) endif() if(USE_ABC) find_package(ABC REQUIRED) - add_definitions(-DCVC4_USE_ABC ${ABC_ARCH_FLAGS}) + add_definitions(-DCVC5_USE_ABC ${ABC_ARCH_FLAGS}) endif() if(USE_CADICAL) find_package(CaDiCaL REQUIRED) - add_definitions(-DCVC4_USE_CADICAL) + add_definitions(-DCVC5_USE_CADICAL) endif() if(USE_CLN) set(GPL_LIBS "${GPL_LIBS} cln") find_package(CLN 1.2.2 REQUIRED) - set(CVC4_USE_CLN_IMP 1) - set(CVC4_USE_GMP_IMP 0) + set(CVC5_USE_CLN_IMP 1) + set(CVC5_USE_GMP_IMP 0) else() - set(CVC4_USE_CLN_IMP 0) - set(CVC4_USE_GMP_IMP 1) + set(CVC5_USE_CLN_IMP 0) + set(CVC5_USE_GMP_IMP 1) endif() if(USE_CRYPTOMINISAT) @@ -434,26 +434,26 @@ if(USE_CRYPTOMINISAT) add_c_cxx_flag(-pthread) endif() find_package(CryptoMiniSat REQUIRED) - add_definitions(-DCVC4_USE_CRYPTOMINISAT) + add_definitions(-DCVC5_USE_CRYPTOMINISAT) endif() if(USE_GLPK) set(GPL_LIBS "${GPL_LIBS} glpk") find_package(GLPK REQUIRED) - add_definitions(-DCVC4_USE_GLPK) + add_definitions(-DCVC5_USE_GLPK) endif() if(USE_KISSAT) find_package(Kissat REQUIRED) - add_definitions(-DCVC4_USE_KISSAT) + add_definitions(-DCVC5_USE_KISSAT) endif() if(USE_POLY) find_package(Poly REQUIRED) - add_definitions(-DCVC4_USE_POLY) - set(CVC4_USE_POLY_IMP 1) + add_definitions(-DCVC5_USE_POLY) + set(CVC5_USE_POLY_IMP 1) else() - set(CVC4_USE_POLY_IMP 0) + set(CVC5_USE_POLY_IMP 0) endif() if(USE_EDITLINE) @@ -466,10 +466,10 @@ endif() if(USE_SYMFPU) find_package(SymFPU REQUIRED) - add_definitions(-DCVC4_USE_SYMFPU) - set(CVC4_USE_SYMFPU 1) + add_definitions(-DCVC5_USE_SYMFPU) + set(CVC5_USE_SYMFPU 1) else() - set(CVC4_USE_SYMFPU 0) + set(CVC5_USE_SYMFPU 0) endif() if(GPL_LIBS) @@ -478,7 +478,7 @@ if(GPL_LIBS) "Bad configuration detected: BSD-licensed code only, but also requested " "GPLed libraries: ${GPL_LIBS}") endif() - set(CVC4_GPL_DEPS 1) + set(CVC5_GPL_DEPS 1) endif() #-----------------------------------------------------------------------------# @@ -491,10 +491,10 @@ include(IWYU) include(ConfigureCVC4) if(NOT ENABLE_SHARED) - set(CVC4_STATIC_BUILD ON) + set(CVC5_STATIC_BUILD ON) endif() configure_file(cvc4autoconfig.h.in cvc4autoconfig.h) -unset(CVC4_STATIC_BUILD) +unset(CVC5_STATIC_BUILD) include_directories(${CMAKE_CURRENT_BINARY_DIR}) #-----------------------------------------------------------------------------# @@ -585,7 +585,7 @@ configure_package_config_file( write_basic_package_version_file( ${CMAKE_CURRENT_BINARY_DIR}/CVC4ConfigVersion.cmake - VERSION ${CVC4_RELEASE_STRING} + VERSION ${CVC5_RELEASE_STRING} COMPATIBILITY ExactVersion ) @@ -608,19 +608,19 @@ if(NOT WIN32) endif() # Convert build type to lower case. -string(TOLOWER ${CMAKE_BUILD_TYPE} CVC4_BUILD_PROFILE_STRING) +string(TOLOWER ${CMAKE_BUILD_TYPE} CVC5_BUILD_PROFILE_STRING) # Get all definitions added via add_definitions. -get_directory_property(CVC4_DEFINITIONS COMPILE_DEFINITIONS) -string(REPLACE ";" " " CVC4_DEFINITIONS "${CVC4_DEFINITIONS}") +get_directory_property(CVC5_DEFINITIONS COMPILE_DEFINITIONS) +string(REPLACE ";" " " CVC5_DEFINITIONS "${CVC5_DEFINITIONS}") message("") -print_info("CVC4 ${CVC4_RELEASE_STRING}") +print_info("CVC4 ${CVC5_RELEASE_STRING}") message("") if(ENABLE_COMP_INC_TRACK) - print_config("Build profile " "${CVC4_BUILD_PROFILE_STRING} (incremental)") + print_config("Build profile " "${CVC5_BUILD_PROFILE_STRING} (incremental)") else() - print_config("Build profile " "${CVC4_BUILD_PROFILE_STRING}") + print_config("Build profile " "${CVC5_BUILD_PROFILE_STRING}") endif() message("") print_config("GPL " ${ENABLE_GPL}) @@ -658,7 +658,7 @@ print_config("LibPoly " ${USE_POLY}) message("") print_config("Build libcvc4 only " ${BUILD_LIB_ONLY}) -if(CVC4_USE_CLN_IMP) +if(CVC5_USE_CLN_IMP) print_config("MP library " "cln") else() print_config("MP library " "gmp") @@ -675,7 +675,7 @@ if(GLPK_DIR) print_config("GLPK dir " ${GLPK_DIR}) endif() message("") -print_config("CPPLAGS (-D...)" "${CVC4_DEFINITIONS}") +print_config("CPPLAGS (-D...)" "${CVC5_DEFINITIONS}") print_config("CXXFLAGS " "${CMAKE_CXX_FLAGS}") print_config("CFLAGS " "${CMAKE_C_FLAGS}") print_config("Linker flags " "${CMAKE_EXE_LINKER_FLAGS}") |