diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-08 11:10:14 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-08 11:10:14 -0800 |
commit | bcbf146f0786035b0228eb4bcd13eb2bc6ca5f9b (patch) | |
tree | 809ac98dbd38daea8f322e4306ca835f1bf7abe4 /test/api | |
parent | 4395b6d728d2a25bff3a56801f7218d79834f423 (diff) |
Build api tests in build/bin/test/api. (#6076)
Previously, api tests where built in build/test/api instead of in the
bin directory for the tests.
Diffstat (limited to 'test/api')
-rw-r--r-- | test/api/CMakeLists.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/api/CMakeLists.txt b/test/api/CMakeLists.txt index 33d5f9c37..cc968422f 100644 --- a/test/api/CMakeLists.txt +++ b/test/api/CMakeLists.txt @@ -28,10 +28,13 @@ set(CVC4_API_TEST_FLAGS -D__BUILDING_CVC4_API_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) macro(cvc4_add_api_test name) + set(test_bin_dir ${CMAKE_BINARY_DIR}/bin/test/api/) add_executable(${name} ${name}.cpp) target_link_libraries(${name} main-test) target_compile_definitions(${name} PRIVATE ${CVC4_API_TEST_FLAGS}) - add_test(api/${name} ${CMAKE_CURRENT_BINARY_DIR}/${name}) + set_target_properties(${name} + PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${test_bin_dir}) + add_test(api/${name} ${test_bin_dir}/${name}) set_tests_properties(api/${name} PROPERTIES LABELS "api") add_dependencies(build-apitests ${name}) endmacro() |