diff options
Diffstat (limited to 'examples/sets-translate')
-rw-r--r-- | examples/sets-translate/CMakeLists.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/examples/sets-translate/CMakeLists.txt b/examples/sets-translate/CMakeLists.txt index 8676994fd..fcbb8e3c8 100644 --- a/examples/sets-translate/CMakeLists.txt +++ b/examples/sets-translate/CMakeLists.txt @@ -1,4 +1,4 @@ -set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin/examples/sets-translate) +set(EXAMPLES_SETS_TRANSLATE_BIN_DIR ${EXAMPLES_BIN_DIR}/sets-translate) add_executable(sets2arrays EXCLUDE_FROM_ALL sets_translate.cpp) target_link_libraries(sets2arrays cvc4 cvc4parser) @@ -6,3 +6,6 @@ target_link_libraries(sets2arrays cvc4 cvc4parser) add_executable(sets2axioms EXCLUDE_FROM_ALL sets_translate.cpp) target_compile_definitions(sets2axioms PRIVATE -DENABLE_AXIOMS) target_link_libraries(sets2axioms cvc4 cvc4parser) + +set_target_properties(sets2arrays sets2axioms + PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_SETS_TRANSLATE_BIN_DIR}) |