diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-26 15:34:58 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-26 15:34:58 -0700 |
| commit | bd866bbf75606663315c15ce4f28862e99b70cbd (patch) | |
| tree | 8ef70ba013d0408072c2d73548c56a6881bf5457 /test/regress/CMakeLists.txt | |
| parent | 79e866c5150a1d8e4d613f1673bfbf33eb157653 (diff) | |
cmake: Fix test target dependency issues. (#2540)
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 3f6aa7956..35672d77a 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -2075,10 +2075,16 @@ set(regression_disabled_tests get_target_property(path_to_cvc4 cvc4-bin RUNTIME_OUTPUT_DIRECTORY) set(run_regress_script ${CMAKE_CURRENT_LIST_DIR}/run_regression.py) +add_custom_target(build-regress DEPENDS cvc4-bin) +add_dependencies(check build-regress) +if(ENABLE_COVERAGE) + add_dependencies(coverage build-regress) +endif() + add_custom_target(regress COMMAND ctest --output-on-failure -L "regress[0-1]" -j${CTEST_NTHREADS} $(ARGS) - DEPENDS cvc4-bin) + DEPENDS build-regress) macro(cvc4_add_regression_test level file) add_test(${file} |