Add histar to regressall. We use far far too much memory on these tests. Not sure...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@806 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index 6585999faff1283d19b8b56a001cb466111fae42..f658a9cfd6121f7be3412c11538b24a25804254a 100644 (file)
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -117,6 +117,7 @@ regressall: all
        $(MAKE) regressstp
        $(MAKE) regressbio
        $(MAKE) regresseric
+       $(MAKE) regresshistar
        $(MAKE) regresscrypto
        $(MAKE) regresscapi
 
@@ -167,6 +168,12 @@ 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: regresshistar
+regresshistar: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)histar-big-tests/
+regresshistar: REGRESS_LOG = `date +%Y-%m-%d`"-regress-histar-big-tests.log"
+regresshistar: 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"