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 1043a681bc1d6ba9794db7738ab56b29b33823c8..470b4678416834ddf9ef8d23fc6383a08b1ada0e 100644 (file)
--- 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)