cmake: Added system tests and target make systemtests.

diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..7b7cd9fa33808e60be848a9851c746d1999485fc 100644 (file)
--- 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")