diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/configure.sh b/configure.sh index 25203f8a6..4ba153a75 100755 --- a/configure.sh +++ b/configure.sh @@ -59,7 +59,6 @@ The following flags enable optional packages (disable with --no-<option name>). --cln use CLN instead of GMP --glpk use GLPK simplex solver --abc use the ABC AIG library - --cadical use the CaDiCaL SAT solver [default=yes] --cryptominisat use the CryptoMiniSat SAT solver --kissat use the Kissat SAT solver --poly use the LibPoly library [default=yes] @@ -108,7 +107,6 @@ abc=default asan=default assertions=default auto_download=default -cadical=ON cln=default comp_inc=default coverage=default @@ -174,7 +172,6 @@ do # Best configuration --best) abc=ON - cadical=ON cln=ON cryptominisat=ON glpk=ON @@ -198,9 +195,6 @@ do --name) die "missing argument to $1 (try -h)" ;; --name=*) build_dir=${1##*=} ;; - --cadical) cadical=ON;; - --no-cadical) cadical=OFF;; - --cln) cln=ON;; --no-cln) cln=OFF;; @@ -379,8 +373,6 @@ cmake_opts="" && cmake_opts="$cmake_opts -DUSE_EDITLINE=$editline" [ $abc != default ] \ && cmake_opts="$cmake_opts -DUSE_ABC=$abc" -[ $cadical != default ] \ - && cmake_opts="$cmake_opts -DUSE_CADICAL=$cadical" [ $cln != default ] \ && cmake_opts="$cmake_opts -DUSE_CLN=$cln" [ $cryptominisat != default ] \ |