blob: 3caa1250e7e53acd0e15758c99fd9e8be7f09dae (
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
#####################
## CMakeLists.txt
## Top contributors (to current version):
## Aina Niemetz, Mathias Preiner, Makai Mann
## This file is part of the CVC4 project.
## Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
## in the top-level source directory and their institutional affiliations.
## All rights reserved. See the file COPYING in the top-level source
## directory for licensing information.
##
#-----------------------------------------------------------------------------#
# Add target 'check', builds and runs
# > unit tests
# > regression tests of levels 0 and 1
# > api tests
add_custom_target(build-tests)
# Note: Do not add custom targets for running tests (regress, apitests,
# units) as dependencies to other run targets. This will result in executing
# tests multiple times. For example, if check would depend on regress it would
# first run the command of the regress target (i.e., run all regression tests)
# and afterwards run the command specified for the check target.
# Dependencies of check are added in the corresponding subdirectories.
add_custom_target(check
COMMAND
ctest --output-on-failure -LE "regress[3-4]" -j${CTEST_NTHREADS} $$ARGS
DEPENDS
build-tests)
#-----------------------------------------------------------------------------#
# Add subdirectories
if (NOT BUILD_LIB_ONLY)
add_subdirectory(regress)
endif()
add_subdirectory(api EXCLUDE_FROM_ALL)
if(ENABLE_UNIT_TESTING)
add_subdirectory(unit EXCLUDE_FROM_ALL)
if(BUILD_SWIG_BINDINGS_JAVA)
add_subdirectory(java)
endif()
endif()
if(LFSC_BINARY)
add_subdirectory(signatures)
endif()
|
