diff options
Diffstat (limited to 'test/system')
-rw-r--r-- | test/system/CMakeLists.txt | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt index 1832217c3..36e6c4a37 100644 --- a/test/system/CMakeLists.txt +++ b/test/system/CMakeLists.txt @@ -7,9 +7,15 @@ include_directories(${CMAKE_BINARY_DIR}/src) # Add target 'systemtests', builds and runs # > system tests +add_custom_target(build-systemtests) +add_dependencies(check build-systemtests) +if(ENABLE_COVERAGE) + add_dependencies(coverage build-systemtests) +endif() + add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" -j${CTEST_NTHREADS} $(ARGS) - DEPENDS main-test) + DEPENDS build-systemtests) set(CVC4_SYSTEM_TEST_FLAGS -D__BUILDING_CVC4_SYSTEM_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) @@ -20,10 +26,7 @@ macro(cvc4_add_system_test name) target_compile_definitions(${name} PRIVATE ${CVC4_SYSTEM_TEST_FLAGS}) add_test(system/${name} ${CMAKE_CURRENT_BINARY_DIR}/${name}) set_tests_properties(system/${name} PROPERTIES LABELS "system") - add_dependencies(systemtests ${name}) - if(ENABLE_COVERAGE) - add_dependencies(coverage ${name}) - endif() + add_dependencies(build-systemtests ${name}) endmacro() cvc4_add_system_test(boilerplate) |