From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 25 Apr 2013 19:43:16 +0000 (-0400)
Subject: Add ability to run different regression levels with "make check"
X-Git-Tag: cvc5-1.0.0~7313
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a9174ce4dc3939bbe14c9aa1fd11c79c7877eb16;p=cvc5.git

Add ability to run different regression levels with "make check"
---

diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am
index b92ab392e..f0cfe4301 100644
--- a/test/regress/Makefile.am
+++ b/test/regress/Makefile.am
@@ -1,6 +1,8 @@
 SUBDIRS = regress0
 DIST_SUBDIRS = regress0 regress1 regress2 regress3
 
+@mk_include@ @srcdir@/Makefile.levels
+
 MAKEFLAGS = -k
 
 export VERBOSE = 1
@@ -12,7 +14,7 @@ regress3: regress0 regress1 regress2
 regress0 regress1 regress2 regress3:
 	-cd $@ && $(MAKE) check
 
-# synonyms for "check" in this directory in this directory
+# synonyms for "check" in this directory
 .PHONY: regress test
 regress test: check
 
diff --git a/test/regress/Makefile.levels b/test/regress/Makefile.levels
new file mode 100644
index 000000000..f86bd4a6f
--- /dev/null
+++ b/test/regress/Makefile.levels
@@ -0,0 +1,11 @@
+# This Makefile fragment allows one to use "make check" but also specify
+# a regression level.
+ifeq ($(REGRESSION_LEVEL),1)
+SUBDIRS += regress1
+endif
+ifeq ($(REGRESSION_LEVEL),2)
+SUBDIRS += regress1 regress2
+endif
+ifeq ($(REGRESSION_LEVEL),3)
+SUBDIRS += regress1 regress2 regress3
+endif