Fix/add missing makefiles.

diff --git a/test/regress/regress1/Makefile b/test/regress/regress1/Makefile
new file mode 100644 (file)
index 0000000..b720980
--- /dev/null
+++ b/test/regress/regress1/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../..
+srcdir = test/regress/regress1
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/aufbv/Makefile b/test/regress/regress1/aufbv/Makefile
new file mode 100644 (file)
index 0000000..197a840
--- /dev/null
+++ b/test/regress/regress1/aufbv/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/aufbv
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/aufbv/Makefile.am b/test/regress/regress1/aufbv/Makefile.am
new file mode 100644 (file)
index 0000000..4caeca8
--- /dev/null
+++ b/test/regress/regress1/aufbv/Makefile.am
@@ -0,0 +1,30 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       fuzz10.smt
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/auflia/Makefile b/test/regress/regress1/auflia/Makefile
new file mode 100644 (file)
index 0000000..46e7ebe
--- /dev/null
+++ b/test/regress/regress1/auflia/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/auflia
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/auflia/Makefile.am b/test/regress/regress1/auflia/Makefile.am
new file mode 100644 (file)
index 0000000..a0824e5
--- /dev/null
+++ b/test/regress/regress1/auflia/Makefile.am
@@ -0,0 +1,30 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       bug330.smt2
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/bv/Makefile b/test/regress/regress1/bv/Makefile
new file mode 100644 (file)
index 0000000..1ddea73
--- /dev/null
+++ b/test/regress/regress1/bv/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/bv
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/bv/Makefile.am b/test/regress/regress1/bv/Makefile.am
new file mode 100644 (file)
index 0000000..fa58e0d
--- /dev/null
+++ b/test/regress/regress1/bv/Makefile.am
@@ -0,0 +1,32 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       bv-proof00.smt \
+       fuzz34.smt \
+       fuzz38.smt
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/datatypes/Makefile b/test/regress/regress1/datatypes/Makefile
new file mode 100644 (file)
index 0000000..1e40da2
--- /dev/null
+++ b/test/regress/regress1/datatypes/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/datatypes
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/datatypes/Makefile.am b/test/regress/regress1/datatypes/Makefile.am
new file mode 100644 (file)
index 0000000..a9d13f7
--- /dev/null
+++ b/test/regress/regress1/datatypes/Makefile.am
@@ -0,0 +1,30 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       manos-model.smt2
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/decision/Makefile b/test/regress/regress1/decision/Makefile
new file mode 100644 (file)
index 0000000..92798c4
--- /dev/null
+++ b/test/regress/regress1/decision/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/decision
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/decision/Makefile.am b/test/regress/regress1/decision/Makefile.am
new file mode 100644 (file)
index 0000000..8317536
--- /dev/null
+++ b/test/regress/regress1/decision/Makefile.am
@@ -0,0 +1,30 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       error3.smt
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/fmf/Makefile b/test/regress/regress1/fmf/Makefile
new file mode 100644 (file)
index 0000000..400ad9d
--- /dev/null
+++ b/test/regress/regress1/fmf/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/fmf
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/fmf/Makefile.am b/test/regress/regress1/fmf/Makefile.am
new file mode 100644 (file)
index 0000000..3cb00d6
--- /dev/null
+++ b/test/regress/regress1/fmf/Makefile.am
@@ -0,0 +1,30 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       ForElimination-scala-9.smt2
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/lemmas/Makefile b/test/regress/regress1/lemmas/Makefile
new file mode 100644 (file)
index 0000000..46d254a
--- /dev/null
+++ b/test/regress/regress1/lemmas/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/lemmas
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/lemmas/Makefile.am b/test/regress/regress1/lemmas/Makefile.am
new file mode 100644 (file)
index 0000000..d22553d
--- /dev/null
+++ b/test/regress/regress1/lemmas/Makefile.am
@@ -0,0 +1,32 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       clocksynchro_5clocks.main_invar.base.smt \
+       pursuit-safety-8.smt \
+       simple_startup_9nodes.abstract.base.smt
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/rewriterules/Makefile b/test/regress/regress1/rewriterules/Makefile
new file mode 100644 (file)
index 0000000..0eb9380
--- /dev/null
+++ b/test/regress/regress1/rewriterules/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/rewriterules
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/rewriterules/Makefile.am b/test/regress/regress1/rewriterules/Makefile.am
new file mode 100644 (file)
index 0000000..b0fdcbe
--- /dev/null
+++ b/test/regress/regress1/rewriterules/Makefile.am
@@ -0,0 +1,31 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       reachability_back_to_the_future.smt2 \
+       read5.smt2
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/sep/Makefile b/test/regress/regress1/sep/Makefile
new file mode 100644 (file)
index 0000000..5733b55
--- /dev/null
+++ b/test/regress/regress1/sep/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/sep
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/sep/Makefile.am b/test/regress/regress1/sep/Makefile.am
new file mode 100644 (file)
index 0000000..3bf63ff
--- /dev/null
+++ b/test/regress/regress1/sep/Makefile.am
@@ -0,0 +1,33 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       loop-1220.smt2 \
+       sep-simp-unc.smt2 \
+       split-find-unsat.smt2 \
+       split-find-unsat-w-emp.smt2
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/sets/Makefile b/test/regress/regress1/sets/Makefile
new file mode 100644 (file)
index 0000000..e78e958
--- /dev/null
+++ b/test/regress/regress1/sets/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/sets
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/sets/Makefile.am b/test/regress/regress1/sets/Makefile.am
new file mode 100644 (file)
index 0000000..b09a253
--- /dev/null
+++ b/test/regress/regress1/sets/Makefile.am
@@ -0,0 +1,31 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       sets-disequal.smt2 \
+       card-vc6-minimized.smt2
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/strings/Makefile b/test/regress/regress1/strings/Makefile
new file mode 100644 (file)
index 0000000..b4a9df5
--- /dev/null
+++ b/test/regress/regress1/strings/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/strings
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/strings/Makefile.am b/test/regress/regress1/strings/Makefile.am
new file mode 100644 (file)
index 0000000..7830f14
--- /dev/null
+++ b/test/regress/regress1/strings/Makefile.am
@@ -0,0 +1,31 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       cmu-5042-0707-2.smt2 \
+       cmu-dis-0707-3.smt2
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress1/sygus/Makefile b/test/regress/regress1/sygus/Makefile
new file mode 100644 (file)
index 0000000..c8dc4fd
--- /dev/null
+++ b/test/regress/regress1/sygus/Makefile
@@ -0,0 +1,8 @@
+topdir = ../../../..
+srcdir = test/regress/regress1/sygus
+
+include $(topdir)/Makefile.subdir
+
+# synonyms for "check"
+.PHONY: test
+test: check

diff --git a/test/regress/regress1/sygus/Makefile.am b/test/regress/regress1/sygus/Makefile.am
new file mode 100644 (file)
index 0000000..0451f93
--- /dev/null
+++ b/test/regress/regress1/sygus/Makefile.am
@@ -0,0 +1,30 @@
+# don't override a BINARY imported from a personal.mk
+@mk_if@eq ($(BINARY),)
+@mk_empty@BINARY = cvc4
+end@mk_if@
+
+LOG_COMPILER = @srcdir@/../../run_regression
+AM_LOG_FLAGS = $(RUN_REGRESSION_ARGS) @abs_top_builddir@/src/main/$(BINARY)$(EXEEXT)
+
+if AUTOMAKE_1_11
+# old-style (pre-automake 1.12) test harness
+TESTS_ENVIRONMENT = \
+       $(LOG_COMPILER) \
+       $(AM_LOG_FLAGS) $(LOG_FLAGS)
+endif
+
+# These are run for all build profiles.
+# If a test shouldn't be run in e.g. competition mode,
+# put it below in "TESTS +="
+TESTS =        \
+       hd-sdiv.sy
+
+EXTRA_DIST = $(TESTS)
+
+# synonyms for "check" in this directory
+.PHONY: regress regress1 test
+regress regress1 test: check
+
+# do nothing in this subdir
+.PHONY: regress0 regress2 regress3 regress4
+regress0 regress2 regress3 regress4:

diff --git a/test/regress/regress2/Makefile b/test/regress/regress2/Makefile
index b720980f11d87fcab4f54fd83a75bc7870cc38e0..5a9aa63be2d8c47c0a13fa9a9fa35f8f4324ddac 100644 (file)
--- a/test/regress/regress2/Makefile
+++ b/test/regress/regress2/Makefile
@@ -1,5 +1,5 @@
 topdir = ../../..
-srcdir = test/regress/regress1
+srcdir = test/regress/regress2
 
 include $(topdir)/Makefile.subdir
 

diff --git a/test/regress/regress2/arith/Makefile b/test/regress/regress2/arith/Makefile
index 481d240e49eaa5e81f67027c9f652a631f44663c..f96dc45f2a05c8c2b83ab2c4a1d6fbd62ade5a14 100644 (file)
--- a/test/regress/regress2/arith/Makefile
+++ b/test/regress/regress2/arith/Makefile
@@ -1,5 +1,5 @@
 topdir = ../../../..
-srcdir = test/regress/regress1/arith
+srcdir = test/regress/regress2/arith
 
 include $(topdir)/Makefile.subdir
 

diff --git a/test/regress/regress2/arith/Makefile.am b/test/regress/regress2/arith/Makefile.am
index fff5372c62770906856f26f8ce40198ff2470f19..82d4588c007eb6d89afd095026c450c479b2bb47 100644 (file)
--- a/test/regress/regress2/arith/Makefile.am
+++ b/test/regress/regress2/arith/Makefile.am
@@ -29,9 +29,9 @@ TESTS =       \
 EXTRA_DIST = $(TESTS)
 
 # synonyms for "check" in this directory
-.PHONY: regress regress1 test
-regress regress1 test: check
+.PHONY: regress regress2 test
+regress regress2 test: check
 
 # do nothing in this subdir
-.PHONY: regress0 regress2 regress3
-regress0 regress2 regress3:
+.PHONY: regress0 regress1 regress3 regress4
+regress0 regress1 regress3 regress4:

diff --git a/test/regress/regress3/Makefile b/test/regress/regress3/Makefile
index 5a9aa63be2d8c47c0a13fa9a9fa35f8f4324ddac..22354730538b5e7f82fd3f16ccb1d05b59821734 100644 (file)
--- a/test/regress/regress3/Makefile
+++ b/test/regress/regress3/Makefile
@@ -1,5 +1,5 @@
 topdir = ../../..
-srcdir = test/regress/regress2
+srcdir = test/regress/regress3
 
 include $(topdir)/Makefile.subdir
 

diff --git a/test/regress/regress4/Makefile b/test/regress/regress4/Makefile
index 22354730538b5e7f82fd3f16ccb1d05b59821734..b926bb86e23de21a67a452189c050a2478611699 100644 (file)
--- a/test/regress/regress4/Makefile
+++ b/test/regress/regress4/Makefile
@@ -1,5 +1,5 @@
 topdir = ../../..
-srcdir = test/regress/regress3
+srcdir = test/regress/regress4
 
 include $(topdir)/Makefile.subdir