diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-12 17:59:57 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | dfdacd1fb241c08569cc20b2287c6aedc6b76d6a (patch) | |
| tree | 3b3e3482b6e192456a2913251571b5908312ac09 /examples/CMakeLists.txt | |
| parent | aa86e978469e75691bd8f83e4a9fedd07aec283c (diff) | |
cmake: Added target examples (currently .cpp examples only)
Diffstat (limited to 'examples/CMakeLists.txt')
| -rw-r--r-- | examples/CMakeLists.txt | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index e69de29bb..a3f4f5e30 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -0,0 +1,70 @@ +include_directories(${PROJECT_SOURCE_DIR}/src) +include_directories(${PROJECT_SOURCE_DIR}/src/include) +include_directories(${CMAKE_BINARY_DIR}/src) + +set(CVC4_EXAMPLES + simple_vc_cxx + simple_vc_quant_cxx + translator +) +set(CVC4_EXAMPLES_API + bitvectors + bitvectors-new + bitvectors_and_arrays + bitvectors_and_arrays-new + combination + combination-new + datatypes + datatypes-new + extract + extract-new + helloworld + helloworld-new + linear_arith + linear_arith-new + sets + sets-new + strings + strings-new +) +set(CVC4_EXAMPLES_HASHSMT + sha1_collision + sha1_inversion +) +set(CVC4_EXAMPLES_NRA_TRANSLATE + normalize + smt2info + smt2todreal + smt2toisat + smt2tomathematica + smt2toqepcad + smt2toredlog +) +set(CVC4_EXAMPLES_SETS_TRANSLATE + sets2arrays + sets2axioms +) + +add_subdirectory(api) +add_subdirectory(hashsmt) +add_subdirectory(nra-translate) +add_subdirectory(sets-translate) + +add_executable(simple_vc_cxx EXCLUDE_FROM_ALL simple_vc_cxx.cpp) +target_link_libraries(simple_vc_cxx cvc4 cvc4parser) + +add_executable(simple_vc_quant_cxx EXCLUDE_FROM_ALL simple_vc_quant_cxx.cpp) +target_link_libraries(simple_vc_quant_cxx cvc4 cvc4parser) + +add_executable(translator EXCLUDE_FROM_ALL translator.cpp) +target_link_libraries(translator cvc4 cvc4parser) + +add_custom_target(examples + DEPENDS + ${CVC4_EXAMPLES} + ${CVC4_EXAMPLES_API} + ${CVC4_EXAMPLES_HASHSMT} + ${CVC4_EXAMPLES_NRA_TRANSLATE} + ${CVC4_EXAMPLES_SETS_TRANSLATE} +) + |