diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-11 10:30:07 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 7be22fb6cac25031efc242708719555624f54791 (patch) | |
tree | 51e20a0255ede51798d4ca8aa9b36713075f72c0 /cmake | |
parent | 507748d8bbdd2c9a2d29f83fd7f4ee6ac8d3fe08 (diff) |
cmake: Various CMakeLists.txt fixes/cleanup.
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/ConfigureCVC4.cmake | 27 |
1 files changed, 17 insertions, 10 deletions
diff --git a/cmake/ConfigureCVC4.cmake b/cmake/ConfigureCVC4.cmake index e3152f5ca..18061c778 100644 --- a/cmake/ConfigureCVC4.cmake +++ b/cmake/ConfigureCVC4.cmake @@ -11,12 +11,13 @@ include(CheckSymbolExists) # error). So we have to keep both happy. Probably the same underlying # issue as the hash specialization below, but let's check separately # for flexibility. - check_cxx_source_compiles( - "#include <stdint.h> - void foo(long) {} - void foo(int64_t) {} - int main() { return 0; }" + " + #include <stdint.h> + void foo(long) {} + void foo(int64_t) {} + int main() { return 0; } + " CVC4_NEED_INT64_T_OVERLOADS ) if(NOT CVC4_NEED_INT64_T_OVERLOADS) @@ -26,12 +27,13 @@ endif() # Check to see if this version/architecture of GNU C++ explicitly # instantiates std::hash<uint64_t> or not. Some do, some don't. # See src/util/hash.h. - check_cxx_source_compiles( - "#include <cstdint> - #include <functional> - namespace std { template<> struct hash<uint64_t> {}; } - int main() { return 0; }" + " + #include <cstdint> + #include <functional> + namespace std { template<> struct hash<uint64_t> {}; } + int main() { return 0; } + " CVC4_NEED_HASH_UINT64_T_OVERLOAD ) if(CVC4_NEED_HASH_UINT64_T_OVERLOAD) @@ -61,3 +63,8 @@ check_c_source_compiles( " STRERROR_R_CHAR_P ) + +# Defined if using the CLN multi-precision arithmetic library. +set(CVC4_CLN_IMP ${CVC4_USE_CLN_IMP}) +# Defined if using the GMP multi-precision arithmetic library. +set(CVC4_GMP_IMP ${CVC4_USE_GMP_IMP}) |