added info about installation regression in README

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

diff --git a/Makefile b/Makefile
index 6b0348de2e302f924a8da6251c19828fdc252de7..1f89b093f68830200eb91507a0aaa6e8db3269e4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -104,8 +104,8 @@ configclean:
 regressall:
        $(MAKE) regresscapi && $(MAKE) regresscvc && $(MAKE) regresssmt && $(MAKE) regressstp && $(MAKE) regressbigarray
 
-.PHONY: regress
-regress:
+.PHONY: check
+check:
        $(MAKE) regresscvcbasic && $(MAKE) regresssmtbasic
 
 # The higher the level, the more tests are run (3 = all)

diff --git a/README b/README
index 9e3f5954fa2e0fb27f9b56cb2cce4b0c25ee53ac..d8e2b0de4ec67a3c3f061ffec053139deb28ae48 100644 (file)
--- a/README
+++ b/README
@@ -40,6 +40,12 @@ PAPERS
 http://sites.google.com/site/stpfastprover
 
 
+CHECKING YOUR INSTALLATION
+--------------------------
+
+make check
+
+
 REGRESSIONS
 -----------
 

diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index 6b0348de2e302f924a8da6251c19828fdc252de7..1f89b093f68830200eb91507a0aaa6e8db3269e4 100644 (file)
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -104,8 +104,8 @@ configclean:
 regressall:
        $(MAKE) regresscapi && $(MAKE) regresscvc && $(MAKE) regresssmt && $(MAKE) regressstp && $(MAKE) regressbigarray
 
-.PHONY: regress
-regress:
+.PHONY: check
+check:
        $(MAKE) regresscvcbasic && $(MAKE) regresssmtbasic
 
 # The higher the level, the more tests are run (3 = all)