Remove variables from the configure script which controlled the choice of SAT solver

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

diff --git a/scripts/configure b/scripts/configure
index 039f084f359cccef3265e14eaf2e6dfe575a8084..5b500d714c07c9e82fc6acc2bb7027cf4f89312d 100755 (executable)
--- a/scripts/configure
+++ b/scripts/configure
@@ -19,16 +19,10 @@ 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
@@ -47,8 +41,6 @@ then echo "CXX=$CXX" >> scripts/config.info
 export CXX="$CXX"
 echo "Setting CXX to... $CXX"
 fi
-echo "SAT=$SAT" >> scripts/config.info
-echo "Using SAT solver: $SAT"
 
 if [ ! -d $PREFIX/include ]
 then mkdir -p $PREFIX/include