From: trevor_hansen Date: Mon, 26 Apr 2010 04:59:42 +0000 (+0000) Subject: * Make regressall depend on "all". If any changes have occured to STP's source code... X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=ff19bdc9423f28b633d2db54872d068a24c5cafb;p=francis%2Fstp.git * Make regressall depend on "all". If any changes have occured to STP's source code before you test, there will be a rebuilt. This prevents the problem of testing an old version of STP. * Fix the regressstp target. It wasn't outputting to the log file. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@710 e59a4935-1847-0410-ae03-e826735625c1 --- diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 940625a..9e51b25 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -108,7 +108,7 @@ configclean: rm -rf scripts/config.info .PHONY: regressall -regressall: +regressall: all $(MAKE) check $(MAKE) regresscapi $(MAKE) regresscvc @@ -164,8 +164,8 @@ regresscapi: REGRESS_LOG = `date +%Y-%m-%d`"-regress-c-api.log" regresscapi: baseTest .PHONY: regressstp -regressstp: TO_RUN=scripts/run_stp_tests.pl 2>&1 -regressstp: STP_LOG = `date +%Y-%m-%d`"-regress-stp-api.log" +regressstp: TO_RUN=scripts/run_stp_tests.pl +regressstp: REGRESS_LOG = `date +%Y-%m-%d`"-regress-stp.log" regressstp: baseTest .PHONY: regresscvcbasic