blob: 219a263553d8fe4ecf1c935ea66cfa7c9daaea8b (
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
|
TESTS_ENVIRONMENT =
TESTS =
# Things that aren't tests but that tests rely on and need to
# go into the distribution
TEST_DEPS_DIST =
# Make-level dependencies; these don't go in the source distribution
# but should trigger a re-compile of all unit tests. Libraries are
# included here because (1) if static-linking, the tests must be
# relinked, and (2) if they've changed that means the sources changed,
# and that means we should ensure the tests compile against any
# changes made in the header files.
TEST_DEPS_NODIST = \
$(abs_top_builddir)/src/libcvc4.la \
$(abs_top_builddir)/src/parser/libcvc4parser.la
TEST_DEPS = \
$(TEST_DEPS_DIST) \
$(TEST_DEPS_NODIST)
EXTRA_DIST = \
$(TEST_DEPS_DIST)
if STATIC_BINARY
system_LINK = $(CXXLINK) -all-static
else
system_LINK = $(CXXLINK)
endif
# WHEN SYSTEM TESTS ARE ADDED, BUILD LIKE THIS:
# system_test: system_test.cpp
# $(AM_V_CXX)$(LTCXXCOMPILE) $(AM_CXXFLAGS) -c -o $@.lo $<
# $(AM_V_CXXLD)$(system_LINK) $(AM_LDFLAGS) $@.lo
# rebuild tests if a library changes
$(TESTS):: $(TEST_DEPS)
export VERBOSE = 1
# synonyms for "check"
.PHONY: regress test
regress test: check
# in system test dir, regressN are also synonyms for check
.PHONY: regress0 regress1 regress2 regress3
regress0 regress1 regress2 regress3: check
|
