From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 7 May 2010 16:12:43 +0000 (+0000)
Subject: Added info to the INSTALL file about the various configure script options
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=aa264dc173c38f7f0dc7b41528ebf5fcf3b5bb8d;p=francis%2Fstp.git

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 b609ba0..ff7e770 100644
--- 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
+