diff options
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/CVC4Config.cmake.in | 10 | ||||
| -rw-r--r-- | cmake/ConfigCompetition.cmake | 2 | ||||
| -rw-r--r-- | cmake/ConfigDebug.cmake | 2 | ||||
| -rw-r--r-- | cmake/ConfigureCVC4.cmake | 22 | ||||
| -rw-r--r-- | cmake/Toolchain-mingw64.cmake | 2 |
5 files changed, 19 insertions, 19 deletions
diff --git a/cmake/CVC4Config.cmake.in b/cmake/CVC4Config.cmake.in index ac6bccb20..20ffeb71e 100644 --- a/cmake/CVC4Config.cmake.in +++ b/cmake/CVC4Config.cmake.in @@ -10,17 +10,17 @@ ## @PACKAGE_INIT@ -set(CVC4_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@) -set(CVC4_BINDINGS_PYTHON @BUILD_BINDINGS_PYTHON@) -set(CVC4_BINDINGS_PYTHON_VERSION @BUILD_BINDINGS_PYTHON_VERSION@) +set(CVC5_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@) +set(CVC5_BINDINGS_PYTHON @BUILD_BINDINGS_PYTHON@) +set(CVC5_BINDINGS_PYTHON_VERSION @BUILD_BINDINGS_PYTHON_VERSION@) if(NOT TARGET CVC4::cvc4) include(${CMAKE_CURRENT_LIST_DIR}/CVC4Targets.cmake) endif() # TODO(project wishue #83): enable these lines -# if(CVC4_BINDINGS_JAVA AND NOT TARGET CVC4::cvc4jar) -# set_and_check(CVC4_JNI_PATH "@PACKAGE_LIBRARY_INSTALL_DIR@") +# if(CVC5_BINDINGS_JAVA AND NOT TARGET CVC4::cvc4jar) +# set_and_check(CVC5_JNI_PATH "@PACKAGE_LIBRARY_INSTALL_DIR@") # include(${CMAKE_CURRENT_LIST_DIR}/CVC4JavaTargets.cmake) # endif() diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake index 297fc785a..6e87902e1 100644 --- a/cmake/ConfigCompetition.cmake +++ b/cmake/ConfigCompetition.cmake @@ -8,7 +8,7 @@ ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. ## -add_definitions(-DCVC4_COMPETITION_MODE) +add_definitions(-DCVC5_COMPETITION_MODE) add_check_c_cxx_flag("-funroll-all-loops") add_check_c_cxx_flag("-fexpensive-optimizations") add_check_c_cxx_flag("-fno-enforce-eh-specs") diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake index 50907a561..1493d1fb2 100644 --- a/cmake/ConfigDebug.cmake +++ b/cmake/ConfigDebug.cmake @@ -8,7 +8,7 @@ ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. ## -add_definitions(-DCVC4_DEBUG) +add_definitions(-DCVC5_DEBUG) add_check_c_cxx_flag("-fno-inline") set(OPTIMIZATION_LEVEL "g") # enable_debug_symbols=yes diff --git a/cmake/ConfigureCVC4.cmake b/cmake/ConfigureCVC4.cmake index af726ae8d..677712d92 100644 --- a/cmake/ConfigureCVC4.cmake +++ b/cmake/ConfigureCVC4.cmake @@ -29,10 +29,10 @@ check_cxx_source_compiles( void foo(int64_t) {} int main() { return 0; } " - CVC4_NEED_INT64_T_OVERLOADS + CVC5_NEED_INT64_T_OVERLOADS ) -if(NOT CVC4_NEED_INT64_T_OVERLOADS) - set(CVC4_NEED_INT64_T_OVERLOADS 0) +if(NOT CVC5_NEED_INT64_T_OVERLOADS) + set(CVC5_NEED_INT64_T_OVERLOADS 0) endif() # Check to see if this version/architecture of GNU C++ explicitly @@ -45,10 +45,10 @@ check_cxx_source_compiles( namespace std { template<> struct hash<uint64_t> {}; } int main() { return 0; } " - CVC4_NEED_HASH_UINT64_T_OVERLOAD + CVC5_NEED_HASH_UINT64_T_OVERLOAD ) -if(CVC4_NEED_HASH_UINT64_T_OVERLOAD) - add_definitions(-DCVC4_NEED_HASH_UINT64_T) +if(CVC5_NEED_HASH_UINT64_T_OVERLOAD) + add_definitions(-DCVC5_NEED_HASH_UINT64_T) endif() check_include_file(unistd.h HAVE_UNISTD_H) @@ -56,7 +56,7 @@ check_include_file_cxx(ext/stdio_filebuf.h HAVE_EXT_STDIO_FILEBUF_H) # For Windows builds check if clock_gettime is available via -lpthread # (pthread_time.h). -if(CVC4_WINDOWS_BUILD) +if(CVC5_WINDOWS_BUILD) set(CMAKE_REQUIRED_FLAGS -pthread) check_symbol_exists(clock_gettime "time.h" HAVE_CLOCK_GETTIME) unset(CMAKE_REQUIRED_FLAGS) @@ -99,10 +99,10 @@ check_c_source_compiles( ) # Defined if using the CLN multi-precision arithmetic library. -set(CVC4_CLN_IMP ${CVC4_USE_CLN_IMP}) +set(CVC5_CLN_IMP ${CVC5_USE_CLN_IMP}) # Defined if using the GMP multi-precision arithmetic library. -set(CVC4_GMP_IMP ${CVC4_USE_GMP_IMP}) +set(CVC5_GMP_IMP ${CVC5_USE_GMP_IMP}) # Defined if using the libpoly polynomial library. -set(CVC4_POLY_IMP ${CVC4_USE_POLY_IMP}) +set(CVC5_POLY_IMP ${CVC5_USE_POLY_IMP}) # Define the full name of this package. -set(CVC4_PACKAGE_NAME "${PROJECT_NAME}") +set(CVC5_PACKAGE_NAME "${PROJECT_NAME}") diff --git a/cmake/Toolchain-mingw64.cmake b/cmake/Toolchain-mingw64.cmake index 1e4bb1a12..64318b59c 100644 --- a/cmake/Toolchain-mingw64.cmake +++ b/cmake/Toolchain-mingw64.cmake @@ -30,4 +30,4 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER) set(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY BOTH) set(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE BOTH) -set(CVC4_WINDOWS_BUILD TRUE) +set(CVC5_WINDOWS_BUILD TRUE) |