test/system/CMakeLists.txt

   1 include_directories(.)
   2 include_directories(${PROJECT_SOURCE_DIR}/src)
   3 include_directories(${PROJECT_SOURCE_DIR}/src/include)
   4 include_directories(${CMAKE_BINARY_DIR}/src)
   5
   6 set(CVC4_SYSTEM_TEST_FLAGS
   7   -D__BUILDING_CVC4_SYSTEM_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS)
   8
   9 macro(cvc4_add_system_test name)
  10   #  add_executable(${name} ${ARGN})
  11   add_executable(${name} ${name}.cpp)
  12   target_link_libraries(${name} main cvc4compat)
  13   target_compile_definitions(${name} PRIVATE ${CVC4_SYSTEM_TEST_FLAGS})
  14   add_test(system/${name} ${CMAKE_CURRENT_BINARY_DIR}/${name})
  15   set_tests_properties(system/${name} PROPERTIES LABELS "system")
  16 endmacro()
  17
  18 cvc4_add_system_test(boilerplate)
  19 cvc4_add_system_test(ouroborous)
  20 cvc4_add_system_test(reset_assertions)
  21 cvc4_add_system_test(sep_log_api)
  22 cvc4_add_system_test(smt2_compliance)
  23 cvc4_add_system_test(statistics)
  24 cvc4_add_system_test(two_smt_engines)
  25 #TODO java test (needs bindings)
  26
  27 add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" $(ARGS))