diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-23 23:15:25 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-23 23:15:25 +0000 |
commit | 5707fbf2af8c3a941ce3249cf0cb3190a5b069e4 (patch) | |
tree | 084d0868ffcf319c8a92b3e4e65080a1709ce61d /test | |
parent | 3f7f9df5f0c419b7f7dd39e32852161f406a441f (diff) |
fixes for "make dist" and "make doc", minor cleanups
Diffstat (limited to 'test')
-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 |