From 91e09970b8bb1cc74fcd6678bd6c9470f211dd8e Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Sun, 30 May 2010 01:07:40 +0000 Subject: [PATCH] Add histar to regressall. We use far far too much memory on these tests. Not sure why. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@806 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.in | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 6585999..f658a9c 100644 --- 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" -- 2.47.3