diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/CMakeLists.txt | 7 | ||||
| -rw-r--r-- | examples/api/CMakeLists.txt | 4 | ||||
| -rw-r--r-- | examples/api/java/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | examples/hashsmt/CMakeLists.txt | 7 | ||||
| -rw-r--r-- | examples/nra-translate/CMakeLists.txt | 4 | ||||
| -rw-r--r-- | examples/sets-translate/CMakeLists.txt | 5 |
6 files changed, 21 insertions, 8 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} diff --git a/examples/api/CMakeLists.txt b/examples/api/CMakeLists.txt index 38dc563c0..55651e238 100644 --- a/examples/api/CMakeLists.txt +++ b/examples/api/CMakeLists.txt @@ -1,8 +1,10 @@ -set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin/examples/api) +set(EXAMPLES_API_BIN_DIR ${EXAMPLES_BIN_DIR}/api) foreach(example ${CVC4_EXAMPLES_API}) add_executable(${example} EXCLUDE_FROM_ALL ${example}.cpp) target_link_libraries(${example} cvc4) + set_target_properties(${example} + PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_API_BIN_DIR}) endforeach() if(BUILD_BINDINGS_JAVA) diff --git a/examples/api/java/CMakeLists.txt b/examples/api/java/CMakeLists.txt index 049d390bd..bb70ab054 100644 --- a/examples/api/java/CMakeLists.txt +++ b/examples/api/java/CMakeLists.txt @@ -1,4 +1,4 @@ -set(EXAMPLES_API_JAVA_BIN_DIR ${CMAKE_BINARY_DIR}/bin/examples/api/java) +set(EXAMPLES_API_JAVA_BIN_DIR ${EXAMPLES_API_BIN_DIR}/java) file(MAKE_DIRECTORY ${EXAMPLES_API_JAVA_BIN_DIR}) add_custom_target(BitVectorsjava diff --git a/examples/hashsmt/CMakeLists.txt b/examples/hashsmt/CMakeLists.txt index 5a0e484c8..718399f79 100644 --- a/examples/hashsmt/CMakeLists.txt +++ b/examples/hashsmt/CMakeLists.txt @@ -1,9 +1,12 @@ -set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin/examples/hashsmt) - include_directories(.) +set(EXAMPLES_HASHSMT_BIN_DIR ${EXAMPLES_BIN_DIR}/hashsmt) + add_executable(sha1_inversion EXCLUDE_FROM_ALL sha1_inversion.cpp word.cpp) target_link_libraries(sha1_inversion cvc4) add_executable(sha1_collision EXCLUDE_FROM_ALL sha1_collision.cpp word.cpp) target_link_libraries(sha1_collision cvc4) + +set_target_properties(sha1_inversion sha1_collision + PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_HASHSMT_BIN_DIR}) diff --git a/examples/nra-translate/CMakeLists.txt b/examples/nra-translate/CMakeLists.txt index 0d20e9fed..2b1a849de 100644 --- a/examples/nra-translate/CMakeLists.txt +++ b/examples/nra-translate/CMakeLists.txt @@ -1,6 +1,8 @@ -set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin/examples/nra-translate) +set(EXAMPLES_NRA_TRANSLATE_BIN_DIR ${EXAMPLES_BIN_DIR}/nra-translate) foreach(example ${CVC4_EXAMPLES_NRA_TRANSLATE}) add_executable(${example} EXCLUDE_FROM_ALL ${example}.cpp) target_link_libraries(${example} cvc4 cvc4parser) + set_target_properties(${example} + PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${EXAMPLES_NRA_TRANSLATE_BIN_DIR}) endforeach() 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}) |