diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-21 18:40:18 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 79263ff809ee9e5766199bbd63b79449fc8fa3d0 (patch) | |
| tree | 1ade0f90560b1b566f22e160b66998224c7cc66f | |
| parent | b2a89b4488d6665ba23c7cb3108ad4cb8c35f4dc (diff) | |
cmake: Fix systemtests dependency.
| -rw-r--r-- | test/system/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt index ab9b5387d..1832217c3 100644 --- a/test/system/CMakeLists.txt +++ b/test/system/CMakeLists.txt @@ -9,7 +9,7 @@ include_directories(${CMAKE_BINARY_DIR}/src) add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" -j${CTEST_NTHREADS} $(ARGS) - DEPENDS cvc4) + DEPENDS main-test) set(CVC4_SYSTEM_TEST_FLAGS -D__BUILDING_CVC4_SYSTEM_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) |