Added info to the INSTALL file about the various configure script options

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

diff --git a/INSTALL b/INSTALL
index b609ba09c06f2a5c6036a180ddeb57273c6ca058..ff7e770bc2baf56857ae4dd88688d9e68ad07aa3 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -8,13 +8,52 @@
  * LICENSE: Please view LICENSE file in the home dir of this Program
  ********************************************************************/
 
-1. To install STP on Linux, MacOS or Windows(Cygwin):
+
+DEFAULT INSTALL INSTRUCTION (Linux, MacOS, or Windows (Cygwin))
+===============================================================
 
    ./clean-install.sh
 
 
-2. To run on Windows Natively:
 
-   2.1 Compile STP inside cygwin as above
-   2.2 Add cygwin DLLs to PATH
-   2.3 Run
\ No newline at end of file
+INSTALLING STP WITH DIFFERENT SAT SOLVERS
+=========================================
+
+* To compile STP only with MiniSAT:
+
+   ./clean-install.sh --with-minisat-core
+
+* To compile STP only with CryptoMiniSAT:
+
+   ./clean-install.sh --with-cryptominisat2
+
+
+
+COMPILING STP WITH g++ IN A SPECIFIED PATH
+==========================================
+
+   ./clean-install.sh --with-g++ = <path>
+
+
+
+INSTALLING STP IN A DIRECTORY OF YOUR CHOICE
+============================================
+
+   ./clean-install.sh --with-prefix=<dir>
+
+(Note that the install script will create 3 directories in <dir>,
+namely, bin, include and lib. STP executable will be put in the bin
+directory, libstp.a in the lib directory, c_interface.h in the include
+directory)
+
+
+
+RUNNING STP ON WINDOWS USING CYGWIN
+===================================
+
+* To run on Windows Natively:
+
+   * Compile STP inside cygwin as above
+   * Add cygwin DLLs to PATH
+   * Run
+