From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sat, 22 Sep 2018 01:40:18 +0000 (-0700)
Subject: cmake: Fix systemtests dependency.
X-Git-Tag: cvc5-1.0.0~4528
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=79263ff809ee9e5766199bbd63b79449fc8fa3d0;p=cvc5.git

cmake: Fix systemtests dependency.
---

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)