diff options
Diffstat (limited to 'test/unit/Makefile.am')
| -rw-r--r-- | test/unit/Makefile.am | 24 |
1 files changed, 14 insertions, 10 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index e10856bba..0a1239b81 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -2,8 +2,13 @@ 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 +AM_LDFLAGS = \ + @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 TESTS_WHITE = \ expr/node_white @@ -22,17 +27,16 @@ 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 +$(TESTS_WHITE): %: %.cpp +# get these in here somehow +# $(TEST_CPPFLAGS) $(TEST_CXXFLAGS) $(TEST_LDFLAGS) + $(LTCXXCOMPILE) -c -fno-access-control -o $@.lo $< + $(CXXLINK) $@.lo +$(TESTS_BLACK): %: %.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 + $(CXXLINK) $@.lo MOSTLYCLEANFILES = $(TESTS) $(TESTS:%=%.cpp) |