build system for multi-level regressions

[cvc5.git] / test / regress / Makefile.am

diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am
index bec1fce3e6a207e252da4a85593f33065ecd6f1c..6ed661de9306b618674ad73376e1810a730a9abc 100644 (file)
--- a/test/regress/Makefile.am
+++ b/test/regress/Makefile.am
@@ -1,4 +1,12 @@
-SUBDIRS = regress0 regress1 regress2 regress3
+SUBDIRS = regress0
+DIST_SUBDIRS = regress1 regress2 regress3
+
+.PHONY: regress0 regress1 regress2 regress3
+regress1: regress0
+regress2: regress0 regress1
+regress3: regress0 regress1 regress2
+regress0 regress1 regress2 regress3:
+       cd $@ && $(MAKE) check
 
 # synonyms for "check"
 .PHONY: regress test