diff options
Diffstat (limited to 'cmake/ConfigureCVC4.cmake')
| -rw-r--r-- | cmake/ConfigureCVC4.cmake | 22 |
1 files changed, 11 insertions, 11 deletions
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}") |