blob: bf74eaa47fa850b42bca6f254e3fcc5f0e86ed46 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
if HAVE_CXXTESTGEN
AM_CPPFLAGS = -I. "-I$(CXXTEST)" "-I@top_srcdir@/src/include" "-I@top_srcdir@/src"
AM_CXXFLAGS = -fno-access-control
AM_LDFLAGS = -L@top_builddir@/src/libcvc4.a
TESTS = \
expr/expr_black \
expr/expr_white
%.cpp: %.h
$(CXXTESTGEN) --have-eh --have-std --error-printer -o $@ $<
%: %.cpp
$(CXX) $(TEST_CPPFLAGS) $(AM_CPPFLAGS) $(TEST_CXXFLAGS) $(AM_CXXFLAGS) -o $@ $(TEST_LDFLAGS) $(AM_LDFLAGS) $< @top_builddir@/src/libcvc4.a
MOSTLYCLEANFILES = $(TESTS) $(TESTS:%=%.cpp)
else
# force a user-visible failure for "make check"
TESTS = no_cxxtest
endif
|