test/regress/regress0/arith/Makefile.am

   1 TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/src/main/cvc4
   2
   3 # These are run for all build profiles.
   4 # If a test shouldn't be run in e.g. competition mode,
   5 # put it below in "TESTS +="
   6 TESTS = \
   7         arith.01.cvc \
   8         arith.02.cvc \
   9         arith.03.cvc \
  10         delta-minimized-row-vector-bug.smt \
  11         leq.01.smt \
  12         miplibtrick.smt
  13
  14 EXTRA_DIST = $(TESTS)
  15
  16 #if CVC4_BUILD_PROFILE_COMPETITION
  17 #else
  18 #TESTS += \
  19 #       error.cvc
  20 #endif
  21 #
  22 # and make sure to distribute it
  23 #EXTRA_DIST += \
  24 #       error.cvc
  25
  26 # synonyms for "checK" in this directory
  27 .PHONY: regress regress0 test
  28 regress regress0 test: check
  29
  30 # do nothing in this subdir
  31 .PHONY: regress1 regress2 regress3
  32 regress1 regress2 regress3: