From d2f5e79f5c2d046423b457a79f755516635ae47e Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 24 May 2010 05:53:15 +0000 Subject: [PATCH] Add the "eric-tests" to regressall. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@791 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.in | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 62ea200..6585999 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -116,9 +116,11 @@ regressall: all $(MAKE) regressbigarray $(MAKE) regressstp $(MAKE) regressbio + $(MAKE) regresseric $(MAKE) regresscrypto $(MAKE) regresscapi + # Runs the basic tests in tests/ .PHONY: check check: @@ -155,12 +157,16 @@ regresscrypto: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)crypto-tests/ regresscrypto: REGRESS_LOG=`date +%Y-%m-%d`"-regress-crypto.log" regresscrypto: baseTest - .PHONY: regresssyn regresssyn: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)synthesis-tests/ regresssyn: REGRESS_LOG = `date +%Y-%m-%d`"-regress-syn.log" regresssyn: baseTest +.PHONY: regresseric +regresseric: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)eric-test/ +regresseric: REGRESS_LOG = `date +%Y-%m-%d`"-regress-eric.log" +regresseric: baseTest + .PHONY: regressbigarray regressbigarray: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)bigarray-test/ regressbigarray: REGRESS_LOG = `date +%Y-%m-%d`"-regress-bigarray.log" -- 2.47.3