blob: 44cf5a6517b8c6c942ba21de01d2734662698fe2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#-----------------------------------------------------------------------------#
# Add subdirectories
add_subdirectory(regress)
add_subdirectory(system EXCLUDE_FROM_ALL)
if(BUILD_BINDINGS_JAVA)
add_subdirectory(java)
endif()
if(ENABLE_UNIT_TESTING)
add_subdirectory(unit EXCLUDE_FROM_ALL)
endif()
#-----------------------------------------------------------------------------#
# Add target 'check', builds and runs
# > unit tests
# > regression tests of levels 0 and 1
# > system tests
add_custom_target(check
COMMAND
ctest --output-on-failure -LE "regress[2-4]" -j${CTEST_NTHREADS} $(ARGS)
DEPENDS regress systemtests)
if(BUILD_BINDINGS_JAVA)
add_dependencies(check cvc4javatests)
endif()
if(ENABLE_UNIT_TESTING)
add_dependencies(check units)
endif()
|