diff options
Diffstat (limited to 'examples/sets-translate/CMakeLists.txt')
-rw-r--r-- | examples/sets-translate/CMakeLists.txt | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/examples/sets-translate/CMakeLists.txt b/examples/sets-translate/CMakeLists.txt index bcf220f32..1c34d3aaf 100644 --- a/examples/sets-translate/CMakeLists.txt +++ b/examples/sets-translate/CMakeLists.txt @@ -1,16 +1,14 @@ -set(EXAMPLES_SETS_TRANSLATE_BIN_DIR ${EXAMPLES_BIN_DIR}/sets-translate) - if(Boost_FOUND) - add_executable(sets2arrays EXCLUDE_FROM_ALL sets_translate.cpp) - target_link_libraries(sets2arrays cvc4 cvc4parser) - add_dependencies(examples sets2arrays) - - add_executable(sets2axioms EXCLUDE_FROM_ALL sets_translate.cpp) + set(EXAMPLES_SETS_TRANSLATE_LINK_LIBS cvc4 cvc4parser) + cvc4_add_example(sets2arrays + "sets_translate.cpp" "${EXAMPLES_SETS_TRANSLATE_LINK_LIBS}" "sets-translate" + # argument to binary (for testing) + ${CMAKE_CURRENT_SOURCE_DIR}/sets-translate-example-input.smt2) + + cvc4_add_example(sets2axioms + "sets_translate.cpp" "${EXAMPLES_SETS_TRANSLATE_LINK_LIBS}" "sets-translate" + # argument to binary (for testing) + ${CMAKE_CURRENT_SOURCE_DIR}/sets-translate-example-input.smt2) target_compile_definitions(sets2axioms PRIVATE -DENABLE_AXIOMS) - target_link_libraries(sets2axioms cvc4 cvc4parser) - add_dependencies(examples sets2axioms) - - set_target_properties(sets2arrays sets2axioms - PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_SETS_TRANSLATE_BIN_DIR}) endif() |