diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-10 16:19:43 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | d5614f1c7f0380266abf6fd185b13d654657731d (patch) | |
tree | f73702f3c2e823a6a785f1465a06d221ef14d07b /src/util | |
parent | 424923f1317f3182574ebe730ebe0c81b7dbf494 (diff) |
cmake: Working build infrastructure.
TODO: cvc4autoconfig.h
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/CMakeLists.txt | 78 |
1 files changed, 74 insertions, 4 deletions
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index 5ea76962c..24022dd40 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -1,7 +1,77 @@ configure_file( - ${CMAKE_CURRENT_SOURCE_DIR}/src/util/rational.h.in - ${CMAKE_CURRENT_BINARY_DIR}/src/util/rational.h) + ${CMAKE_CURRENT_SOURCE_DIR}/floatingpoint.h.in + ${CMAKE_CURRENT_BINARY_DIR}/floatingpoint.h) configure_file( - ${CMAKE_CURRENT_SOURCE_DIR}/src/util/integer.h.in - ${CMAKE_CURRENT_BINARY_DIR}/src/util/integer.h) + ${CMAKE_CURRENT_SOURCE_DIR}/rational.h.in + ${CMAKE_CURRENT_BINARY_DIR}/rational.h) + +configure_file( + ${CMAKE_CURRENT_SOURCE_DIR}/integer.h.in + ${CMAKE_CURRENT_BINARY_DIR}/integer.h) + +set(util_src_files + abstract_value.cpp + abstract_value.h + bin_heap.h + bitvector.cpp + bitvector.h + bool.h + cardinality.cpp + cardinality.h + channel.h + debug.h + dense_map.h + divisible.cpp + divisible.h + dynamic_array.h + floatingpoint.cpp + gmp_util.h + hash.h + index.cpp + index.h + maybe.h + ntuple.h + ostream_util.cpp + ostream_util.h + proof.h + random.cpp + random.h + regexp.cpp + regexp.h + resource_manager.cpp + resource_manager.h + result.cpp + result.h + safe_print.cpp + safe_print.h + sampler.cpp + sampler.h + sexpr.cpp + sexpr.h + smt2_quote_string.cpp + smt2_quote_string.h + statistics.cpp + statistics.h + statistics_registry.cpp + statistics_registry.h + tuple.h + unsafe_interrupt_exception.h + utility.h +) + +#TODO: if CVC4_CLN_IMP +#list(APPEND util_src_files +# rational_cln_imp.cpp +# integer_cln_imp.cpp +#) + + +#TODO: if CVC4_GMP_IMP +list(APPEND util_src_files + rational_gmp_imp.cpp + integer_gmp_imp.cpp +) + +add_library(util SHARED ${util_src_files}) +set_target_properties(util PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB) |