diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-13 14:03:54 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 013a0fb7fe918d707604690a96ef6c0559af7440 (patch) | |
tree | 41d7f3b19b4761ad4fb7d40880f0d974e97cfd1c /src/util/CMakeLists.txt | |
parent | 7c3f54f21acf99681c34ced71c8033bafb853052 (diff) |
cmake: Add module finder for CLN.
Diffstat (limited to 'src/util/CMakeLists.txt')
-rw-r--r-- | src/util/CMakeLists.txt | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index 0cbdb5d77..54c921371 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -60,18 +60,13 @@ set(util_src_files utility.h ) -#TODO: if CVC4_CLN_IMP -#list(APPEND util_src_files -# rational_cln_imp.cpp -# integer_cln_imp.cpp -#) +if(CVC4_USE_CLN_IMP) + list(APPEND util_src_files rational_cln_imp.cpp integer_cln_imp.cpp) +endif() - -#TODO: if CVC4_GMP_IMP -list(APPEND util_src_files - rational_gmp_imp.cpp - integer_gmp_imp.cpp -) +if(CVC4_USE_GMP_IMP) + list(APPEND util_src_files rational_gmp_imp.cpp integer_gmp_imp.cpp) +endif() add_library(util SHARED ${util_src_files}) set_target_properties(util PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB) |