From 039ef5c14167403a112e3f053453a1823475e14c Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Fri, 20 Aug 2010 12:18:10 +0000 Subject: [PATCH] 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 --- scripts/configure | 8 -------- 1 file changed, 8 deletions(-) diff --git a/scripts/configure b/scripts/configure index 039f084..5b500d7 100755 --- 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 -- 2.47.3