test/regress/regress0/datatypes/Makefile.am

   1 SUBDIRS = .
   2
   3 BINARY = cvc4
   4 LOG_COMPILER = @srcdir@/../../run_regression
   5 AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @top_builddir@/src/main/$(BINARY)$(EXEEXT)
   6
   7 if AUTOMAKE_1_11
   8 # old-style (pre-automake 1.12) test harness
   9 TESTS_ENVIRONMENT = \
  10         $(TESTS_ENVIRONMENT) $(LOG_COMPILER) \
  11         $(AM_LOG_FLAGS) $(LOG_FLAGS)
  12 endif
  13
  14 MAKEFLAGS = -k
  15
  16 # These are run for all build profiles.
  17 # If a test shouldn't be run in e.g. competition mode,
  18 # put it below in "TESTS +="
  19 TESTS = \
  20         tuple.cvc \
  21         tuple-model.cvc \
  22         rec1.cvc \
  23         rec2.cvc \
  24         rec4.cvc \
  25         rec5.cvc \
  26         datatype.cvc \
  27         datatype0.cvc \
  28         datatype1.cvc \
  29         datatype2.cvc \
  30         datatype3.cvc \
  31         datatype4.cvc \
  32         datatype13.cvc \
  33         mutually-recursive.cvc \
  34         rewriter.cvc \
  35         typed_v1l50016-simp.cvc \
  36         typed_v10l30054.cvc \
  37         typed_v1l80005.cvc \
  38         typed_v2l30079.cvc \
  39         typed_v3l20092.cvc \
  40         typed_v5l30069.cvc \
  41         boolean-equality.cvc \
  42         boolean-terms-datatype.cvc \
  43         boolean-terms-parametric-datatype-1.cvc \
  44         boolean-terms-parametric-datatype-2.cvc \
  45         boolean-terms-tuple.cvc \
  46         boolean-terms-record.cvc \
  47         boolean-terms-rewrite.cvc \
  48         some-boolean-tests.cvc \
  49         v10l40099.cvc \
  50         v2l40025.cvc \
  51         v3l60006.cvc \
  52         v5l30058.cvc \
  53         bug286.cvc \
  54         bug438.cvc \
  55         bug438b.cvc \
  56         wrong-sel-simp.cvc
  57
  58 FAILING_TESTS = \
  59         pair-real-bool.smt2 \
  60         datatype-dump.cvc
  61
  62 EXTRA_DIST = $(TESTS)
  63
  64 if CVC4_BUILD_PROFILE_COMPETITION
  65 else
  66 TESTS += \
  67         error.cvc
  68 endif
  69
  70 # and make sure to distribute it
  71 EXTRA_DIST += \
  72         error.cvc \
  73         $(FAILING_TESTS)
  74
  75 # synonyms for "check"
  76 .PHONY: regress regress0 test
  77 regress regress0 test: check
  78
  79 # do nothing in this subdir
  80 .PHONY: regress1 regress2 regress3
  81 regress1 regress2 regress3: