diff options
Diffstat (limited to 'examples/sets-translate/CMakeLists.txt')
-rw-r--r-- | examples/sets-translate/CMakeLists.txt | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/examples/sets-translate/CMakeLists.txt b/examples/sets-translate/CMakeLists.txt index 1c34d3aaf..5487a2fcf 100644 --- a/examples/sets-translate/CMakeLists.txt +++ b/examples/sets-translate/CMakeLists.txt @@ -1,12 +1,11 @@ if(Boost_FOUND) - set(EXAMPLES_SETS_TRANSLATE_LINK_LIBS cvc4 cvc4parser) cvc4_add_example(sets2arrays - "sets_translate.cpp" "${EXAMPLES_SETS_TRANSLATE_LINK_LIBS}" "sets-translate" + "sets_translate.cpp" "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" + "sets_translate.cpp" "sets-translate" # argument to binary (for testing) ${CMAKE_CURRENT_SOURCE_DIR}/sets-translate-example-input.smt2) target_compile_definitions(sets2axioms PRIVATE -DENABLE_AXIOMS) |