test/regress/regress0/strings/Makefile.am

   1 # don't override a BINARY imported from a personal.mk
   2 @mk_if@eq ($(BINARY),)
   3 @mk_empty@BINARY = cvc4
   4 end@mk_if@
   5
   6 LOG_COMPILER = @srcdir@/../../run_regression
   7 AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
   8
   9 if AUTOMAKE_1_11
  10 # old-style (pre-automake 1.12) test harness
  11 TESTS_ENVIRONMENT = \
  12         $(LOG_COMPILER) \
  13         $(AM_LOG_FLAGS) $(LOG_FLAGS)
  14 endif
  15
  16 MAKEFLAGS = -k
  17
  18 # These are run for all build profiles.
  19 # If a test shouldn't be run in e.g. competition mode,
  20 # put it below in "TESTS +="
  21 TESTS = \
  22   at001.smt2 \
  23   cardinality.smt2 \
  24   str001.smt2 \
  25   str002.smt2 \
  26   str003.smt2 \
  27   str004.smt2 \
  28   str005.smt2 \
  29   str006.smt2 \
  30   str007.smt2 \
  31   fmf001.smt2 \
  32   fmf002.smt2 \
  33   model001.smt2 \
  34   substr001.smt2 \
  35   regexp001.smt2 \
  36   regexp002.smt2 \
  37   loop001.smt2 \
  38   loop002.smt2 \
  39   loop003.smt2 \
  40   loop004.smt2 \
  41   loop005.smt2 \
  42   loop006.smt2 \
  43   loop007.smt2 \
  44   loop008.smt2 \
  45   loop009.smt2
  46
  47 FAILING_TESTS =
  48
  49 EXTRA_DIST = $(TESTS)
  50
  51
  52 # and make sure to distribute it
  53 EXTRA_DIST +=
  54
  55 # synonyms for "check"
  56 .PHONY: regress regress0 test
  57 regress regress0 test: check
  58
  59 # do nothing in this subdir
  60 .PHONY: regress1 regress2 regress3
  61 regress1 regress2 regress3: