From e79e64329ce7d6df0003cab28dadb9b8bcc6f9ca Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 21 Oct 2016 14:21:05 -0500
Subject: Fix/add missing makefiles.

---
 test/regress/regress1/decision/Makefile    |  8 ++++++++
 test/regress/regress1/decision/Makefile.am | 30 ++++++++++++++++++++++++++++++
 2 files changed, 38 insertions(+)
 create mode 100644 test/regress/regress1/decision/Makefile
 create mode 100644 test/regress/regress1/decision/Makefile.am

(limited to 'test/regress/regress1/decision')

diff --git a/test/regress/regress1/decision/Makefile b/test/regress/regress1/decision/Makefile
new file mode 100644
index 000000000..92798c450
--- /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
index 000000000..8317536c6
--- /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:
-- 
cgit v1.2.3