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/CMakeLists.txt | |
| parent | d4728dcea759504cba5c5d74ee256eecc64c712b (diff) | |
cmake: examples: Configure output directory per target.
Diffstat (limited to 'examples/CMakeLists.txt')
| -rw-r--r-- | examples/CMakeLists.txt | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index be278f2ab..37efb84e1 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -1,5 +1,3 @@ -set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin/examples) - include_directories(${PROJECT_SOURCE_DIR}/src) include_directories(${PROJECT_SOURCE_DIR}/src/include) include_directories(${CMAKE_BINARY_DIR}/src) @@ -47,6 +45,8 @@ set(CVC4_EXAMPLES_SETS_TRANSLATE sets2axioms ) +set(EXAMPLES_BIN_DIR ${CMAKE_BINARY_DIR}/bin/examples) + add_executable(simple_vc_cxx EXCLUDE_FROM_ALL simple_vc_cxx.cpp) target_link_libraries(simple_vc_cxx cvc4 cvc4parser) @@ -56,6 +56,9 @@ target_link_libraries(simple_vc_quant_cxx cvc4 cvc4parser) add_executable(translator EXCLUDE_FROM_ALL translator.cpp) target_link_libraries(translator cvc4 cvc4parser) +set_target_properties(simple_vc_cxx simple_vc_quant_cxx translator + PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_BIN_DIR}) + add_custom_target(examples DEPENDS ${CVC4_EXAMPLES} |