diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-14 11:50:07 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 059b526dceda1a4e35db959df289a19f84efc90f (patch) | |
| tree | 3db03f7a57ca3f37b21e59404bf089d9226705b5 /examples/sets-translate | |
| parent | d4728dcea759504cba5c5d74ee256eecc64c712b (diff) | |
cmake: examples: Configure output directory per target.
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}) |