From 1b1c61b44d12456eb47a9cc63fceaf006d83c30f Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Fri, 20 Aug 2010 12:33:49 +0000 Subject: [PATCH] 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 --- scripts/configure | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/configure b/scripts/configure index 5b500d7..f4914b6 100755 --- 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 -- 2.47.3