Delete an unnecessary copy of c_interface.h, ammend the README to suggest updating...

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

diff --git a/README b/README
index 85591d94bddaeb72abc7710e8d2ce9a99b7d1881..d0cc1b2aa08d6e670548d39e8c1973c4a48a3d95 100644 (file)
--- a/README
+++ b/README
@@ -2,7 +2,7 @@
 /********************************************************************
  * PROGRAM NAME: STP (Simple Theorem Prover)   
  *             
- * AUTHORS: Vijay Ganesh
+ * AUTHORS: Vijay Ganesh, Trevor Hansen
  *     
  * BEGIN DATE: November, 2005
  *
@@ -53,10 +53,9 @@ Assumes you have downloaded the testcases as follows:
 
 svn co https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/stp-tests
 
+You may need to update the TEST_PREFIX in scripts/Makefile.common, to point to the
+directory in which you checked out the test cases. Some test cases have fixed timeouts,
+depending on your machine's speed, some test cases may "fail" because they do not 
+finish within the timeout. Such timeout failures are unlikely to be a serious problem.
 
-make regresssmt
-make regresscvc
-make regresscapi
-make regressbigarray
-make regressstp
 make regressall

diff --git a/include/stp/c_interface.h b/include/stp/c_interface.h
deleted file mode 120000 (symlink)
index 68bfb2e..0000000
--- a/include/stp/c_interface.h
+++ /dev/null
@@ -1 +0,0 @@
-../../src/c_interface/c_interface.h
\ No newline at end of file