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

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index 62ea200607dd9e20e40e0045d8925fde044c58d5..6585999faff1283d19b8b56a001cb466111fae42 100644 (file)
--- 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"