blob: d6908cef935b1349d760bfe55b483b03d0327c6d (
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
|
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.la
TESTS = \
expr/expr_black \
expr/expr_white
lib_LTLIBRARIES = libdummy.la
libdummy_la_SOURCES = expr/expr_black.cpp
libdummy_la_LIBADD = @abs_top_builddir@/src/libcvc4.la
$(TESTS:%=%.cpp): %.cpp: %.h
mkdir -p `dirname "$@"`
$(CXXTESTGEN) --have-eh --have-std --error-printer -o "$@" "$<"
$(TESTS): %: %.cpp
# get these in here somehow
# $(TEST_CPPFLAGS) $(TEST_CXXFLAGS) $(TEST_LDFLAGS)
$(LTCXXCOMPILE) -c -o $@.lo $<
$(CXXLINK) $@.lo \
@abs_top_builddir@/src/context/libcontext.la \
@abs_top_builddir@/src/expr/libexpr.la \
@abs_top_builddir@/src/smt/libsmt.la \
@abs_top_builddir@/src/theory/libtheory.la \
@abs_top_builddir@/src/util/libutil.la \
@abs_top_builddir@/src/prop/minisat/libminisat.la
MOSTLYCLEANFILES = $(TESTS) $(TESTS:%=%.cpp)
else
# force a user-visible failure for "make check"
TESTS = no_cxxtest
endif
|
