diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-22 08:46:50 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 38c24575b3415f375b14ebfb7685a1621c7587e2 (patch) | |
| tree | 9198192884d1f5062e38ae3f90efc8d771dd1e05 /test/system | |
| parent | 6f219294f25cb675caeb5c846f201c22255b50c7 (diff) | |
cmake: Add dependencies for test targets and support for make coverage.
Diffstat (limited to 'test/system')
| -rw-r--r-- | test/system/CMakeLists.txt | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt index 694cad171..0ae2806d4 100644 --- a/test/system/CMakeLists.txt +++ b/test/system/CMakeLists.txt @@ -3,6 +3,8 @@ include_directories(${PROJECT_SOURCE_DIR}/src) include_directories(${PROJECT_SOURCE_DIR}/src/include) include_directories(${CMAKE_BINARY_DIR}/src) +add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" $(ARGS)) + set(CVC4_SYSTEM_TEST_FLAGS -D__BUILDING_CVC4_SYSTEM_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) @@ -13,6 +15,10 @@ 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() endmacro() cvc4_add_system_test(boilerplate) @@ -23,5 +29,3 @@ cvc4_add_system_test(smt2_compliance) cvc4_add_system_test(statistics) cvc4_add_system_test(two_smt_engines) #TODO java test (needs bindings) - -add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" $(ARGS)) |