test/system/Makefile.am

   1 TESTS_ENVIRONMENT =
   2 TESTS =
   3
   4 # Things that aren't tests but that tests rely on and need to
   5 # go into the distribution
   6 TEST_DEPS_DIST =
   7
   8 # Make-level dependencies; these don't go in the source distribution
   9 # but should trigger a re-compile of all unit tests.  Libraries are
  10 # included here because (1) if static-linking, the tests must be
  11 # relinked, and (2) if they've changed that means the sources changed,
  12 # and that means we should ensure the tests compile against any
  13 # changes made in the header files.
  14 TEST_DEPS_NODIST = \
  15         $(abs_top_builddir)/src/libcvc4.la \
  16         $(abs_top_builddir)/src/parser/libcvc4parser.la
  17
  18 TEST_DEPS = \
  19         $(TEST_DEPS_DIST) \
  20         $(TEST_DEPS_NODIST)
  21
  22 EXTRA_DIST = \
  23         $(TEST_DEPS_DIST)
  24
  25 if STATIC_BINARY
  26 system_LINK = $(CXXLINK) -all-static
  27 else
  28 system_LINK = $(CXXLINK)
  29 endif
  30
  31 # WHEN SYSTEM TESTS ARE ADDED, BUILD LIKE THIS:
  32 # system_test: system_test.cpp
  33 #       $(AM_V_CXX)$(LTCXXCOMPILE) $(AM_CXXFLAGS) -c -o $@.lo $<
  34 #       $(AM_V_CXXLD)$(system_LINK) $(AM_LDFLAGS) $@.lo
  35
  36 # rebuild tests if a library changes
  37 $(TESTS):: $(TEST_DEPS)
  38
  39 export VERBOSE = 1
  40
  41 # synonyms for "check"
  42 .PHONY: regress test
  43 regress test: check
  44
  45 # in system test dir, regressN are also synonyms for check
  46 .PHONY: regress0 regress1 regress2 regress3
  47 regress0 regress1 regress2 regress3: check