From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 14 Jun 2011 12:53:10 +0000 (+0000)
Subject: Add cloud9 test cases.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=ccb30f8126043b73fba181bbb552cf778b8148b7;p=francis%2Fstp.git

Add cloud9 test cases.

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

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index 1043a68..470b467 100644
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -190,6 +190,12 @@ regresssmt: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)smt-test/
 regresssmt: REGRESS_LOG = `date +%Y-%m-%d`"-regress-smt.log"
 regresssmt: baseTest
 
+.PHONY: regresscloud9
+regresscloud9: TO_RUN=scripts/run_tests.pl --td=$(TEST_PREFIX)cloud9/
+regresscloud9: REGRESS_LOG = `date +%Y-%m-%d`"-regress-cloud9.log"
+regresscloud9: baseTest
+
+
 .PHONY: regresscapi
 regresscapi: TO_RUN=$(MAKE) -C tests/c-api-tests
 regresscapi: REGRESS_LOG = `date +%Y-%m-%d`"-regress-c-api.log"
@@ -211,6 +217,7 @@ regresssmtbasic: REGRESS_LOG = `date +%Y-%m-%d`"-regress-smtbasic.log"
 regresssmtbasic: baseTest
 
 
+
 # The higher the level, the more tests are run (3 = all)
 REGRESS_LEVEL=4
 REGRESS_TESTS=$(REGRESS_TESTS0)