summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
diff options
context:
space:
mode:
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r--CMakeLists.txt94
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}")
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback