test/unit/Makefile.am

   1 if HAVE_CXXTESTGEN
   2
   3 AM_CPPFLAGS = \
   4         -I. "-I@CXXTEST@" "-I@top_srcdir@/src/include" "-I@top_srcdir@/src"
   5 AM_CXXFLAGS_WHITE = -fno-access-control
   6 AM_CXXFLAGS_BLACK =
   7 AM_CXXFLAGS_PUBLIC =
   8 AM_LDFLAGS_WHITE = \
   9                 @abs_top_builddir@/src/context/libcontext.la \
  10                 @abs_top_builddir@/src/expr/libexpr.la \
  11                 @abs_top_builddir@/src/smt/libsmt.la \
  12                 @abs_top_builddir@/src/theory/libtheory.la \
  13                 @abs_top_builddir@/src/util/libutil.la \
  14                 @abs_top_builddir@/src/prop/libprop.la \
  15                 @abs_top_builddir@/src/prop/minisat/libminisat.la
  16 AM_LDFLAGS_BLACK = \
  17                 $(AM_LDFLAGS_WHITE)
  18 AM_LDFLAGS_PUBLIC = \
  19                 @abs_top_builddir@/src/libcvc4.la
  20
  21 TESTS = \
  22         expr/node_white \
  23         expr/node_black
  24
  25 # without these here, LTCXXCOMPILE, CXXLINK, etc., aren't set :-(
  26 noinst_LTLIBRARIES = libdummy.la
  27 libdummy_la_SOURCES = expr/node_black.cpp
  28 libdummy_la_LIBADD = @abs_top_builddir@/src/libcvc4.la
  29
  30 $(TESTS:%=%.cpp): %.cpp: %.h
  31         mkdir -p `dirname "$@"`
  32         @CXXTESTGEN@ --have-eh --have-std --error-printer -o "$@" "$<"
  33 $(filter %_white,$(TESTS)): %_white: %_white.cpp
  34 #       get these in here somehow
  35 #       $(TEST_CPPFLAGS) $(TEST_CXXFLAGS) $(TEST_LDFLAGS)
  36         $(LTCXXCOMPILE) $(AM_CXXFLAGS_WHITE) -c -o $@.lo $<
  37         $(CXXLINK) $(AM_LDFLAGS_WHITE) $@.lo
  38 $(filter %_black,$(TESTS)): %_black: %_black.cpp
  39 #       get these in here somehow
  40 #       $(TEST_CPPFLAGS) $(TEST_CXXFLAGS) $(TEST_LDFLAGS)
  41         $(LTCXXCOMPILE) $(AM_CXXFLAGS_BLACK) -c -o $@.lo $<
  42         $(CXXLINK) $(AM_LDFLAGS_BLACK) $@.lo
  43 $(filter %_public,$(TESTS)): %_public: %_public.cpp
  44 #       get these in here somehow
  45 #       $(TEST_CPPFLAGS) $(TEST_CXXFLAGS) $(TEST_LDFLAGS)
  46         $(LTCXXCOMPILE) $(AM_CXXFLAGS_PUBLIC) -c -o $@.lo $<
  47         $(CXXLINK) $(AM_LDFLAGS_PUBLIC) $@.lo
  48
  49 MOSTLYCLEANFILES = $(TESTS) $(TESTS:%=%.cpp)
  50
  51 else
  52
  53 # force a user-visible failure for "make check"
  54 TESTS = no_cxxtest
  55
  56 endif