diff options
Diffstat (limited to 'test/regress/regress0/uflra/Makefile.am')
| -rw-r--r-- | test/regress/regress0/uflra/Makefile.am | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/test/regress/regress0/uflra/Makefile.am b/test/regress/regress0/uflra/Makefile.am index 8faebddad..86a6b031c 100644 --- a/test/regress/regress0/uflra/Makefile.am +++ b/test/regress/regress0/uflra/Makefile.am @@ -6,7 +6,8 @@ MAKEFLAGS = -k # put it below in "TESTS +=" # Regression tests for SMT inputs -SMT_TESTS = pb_real_10_0100_10_10.smt \ +SMT_TESTS = \ + pb_real_10_0100_10_10.smt \ pb_real_10_0100_10_11.smt \ pb_real_10_0100_10_15.smt \ pb_real_10_0100_10_16.smt \ @@ -14,7 +15,6 @@ SMT_TESTS = pb_real_10_0100_10_10.smt \ pb_real_10_0200_10_22.smt \ pb_real_10_0200_10_26.smt \ pb_real_10_0200_10_29.smt - # Regression tests for SMT2 inputs SMT2_TESTS = @@ -27,6 +27,10 @@ BUG_TESTS = TESTS = $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(BUG_TESTS) +# Necessary to get automake's attention when splitting TESTS into +# SMT_TESTS, SMT2_TESTS, etc.. +EXTRA_DIST = $(TESTS) + # synonyms for "check" in this directory .PHONY: regress regress0 test regress regress0 test: check |