From ac1d915190a56328b3e33428deadc4a8b185d0a6 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 20 Aug 2018 17:26:56 -0700
Subject: [PATCH] cmake: Added system tests and target make systemtests.

---
 test/system/CMakeLists.txt | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt
index e69de29bb..7b7cd9fa3 100644
--- a/test/system/CMakeLists.txt
+++ b/test/system/CMakeLists.txt
@@ -0,0 +1,27 @@
+include_directories(.)
+include_directories(${PROJECT_SOURCE_DIR}/src)
+include_directories(${PROJECT_SOURCE_DIR}/src/include)
+include_directories(${CMAKE_BINARY_DIR}/src)
+
+set(CVC4_SYSTEM_TEST_FLAGS
+  -D__BUILDING_CVC4_SYSTEM_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS)
+
+macro(cvc4_add_system_test name)
+  #  add_executable(${name} ${ARGN})
+  add_executable(${name} ${name}.cpp)
+  target_link_libraries(${name} main cvc4compat)
+  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")
+endmacro()
+
+cvc4_add_system_test(boilerplate)
+cvc4_add_system_test(ouroborous)
+cvc4_add_system_test(reset_assertions)
+cvc4_add_system_test(sep_log_api)
+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")
-- 
2.30.2