Fix the build script

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

diff --git a/scripts/configure b/scripts/configure
index 5b500d714c07c9e82fc6acc2bb7027cf4f89312d..f4914b6fc37045f3c3ba2b2517a03235bce77a09 100755 (executable)
--- a/scripts/configure
+++ b/scripts/configure
@@ -19,10 +19,16 @@ while [ $# -gt 0 ]; do
            arg=`expr "x$1" : 'x[^=]*=\(.*\)'`    
            CXX=$arg
            echo "Using g++ instead of gcc";;
+       --with-minisat-core)
+           SAT=minisat;;
+       --with-cryptominisat2)
+           SAT=cryptominisat2;;
        *)
            echo "Usage: $0 [options]"
            echo "   --with-prefix=/prefix/path   Install STP at the specified path"
            echo "   --with-g++=/path/to/g++      Use g++ at the specified path"
+           echo "   --with-minisat-core          Use core MiniSAT solver (default), runtime option to use simplifying"
+           echo "   --with-cryptominisat2        Use CRYPTOMiniSAT 2.x solver"
            echo "$0 failed"
            exit 1;;
     esac