cmake: Fix systemtests dependency.

diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt
index ab9b5387d11a58e227613dd82a7f51e803ffcc67..1832217c3db16e8254ae7a4b76304eca21a77a82 100644 (file)
--- 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)