build system for multi-level regressions

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

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index 1908f909dbc9ea418716272e9e415ff18eb7ac79..7a1b75cbcfe0d735503cf86a7a49ee10079e3276 100644 (file)
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -86,3 +86,7 @@ endif
 # synonyms for "check"
 .PHONY: regress test
 regress test: check
+
+# in unit test dir, regressN are also synonyms for check
+.PHONY: regress0 regress1 regress2 regress3
+regress0 regress1 regress2 regress3: check