diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-11-01 13:59:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-01 20:59:47 +0000 |
| commit | 9cae42243a4c0be14fd72f5379ee4eb9f4bc88e9 (patch) | |
| tree | 0a9cfac9b3ec68737955d3b05c3ae69088eeaa7b /configure.sh | |
| parent | 77416fa5f7cd004bbec3fb4901f47908d1e8fdd4 (diff) | |
bv: Remove layered solver. (#7455)
This commit removes the old bit-vector solver code.
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/configure.sh b/configure.sh index 641be5c18..b7a2ca280 100755 --- a/configure.sh +++ b/configure.sh @@ -57,7 +57,6 @@ Optional Packages: 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 --cryptominisat use the CryptoMiniSat SAT solver --kissat use the Kissat SAT solver --poly use the LibPoly library [default=yes] @@ -65,7 +64,6 @@ The following flags enable optional packages (disable with --no-<option name>). --editline support the editline library Optional Path to Optional Packages: - --abc-dir=PATH path to top level of ABC source tree --glpk-dir=PATH path to top level of GLPK installation --dep-path=PATH path to a dependency installation dir @@ -105,7 +103,6 @@ program_prefix="" buildtype=default -abc=default asan=default assertions=default auto_download=default @@ -141,7 +138,6 @@ arm64=default werror=default ipo=default -abc_dir=default glpk_dir=default #--------------------------------------------------------------------------# @@ -154,9 +150,6 @@ do -h|--help) usage;; - --abc) abc=ON;; - --no-abc) abc=OFF;; - --asan) asan=ON;; --no-asan) asan=OFF;; @@ -177,7 +170,6 @@ do # Best configuration --best) ipo=ON - abc=ON cln=ON cryptominisat=ON glpk=ON @@ -283,9 +275,6 @@ do --editline) editline=ON;; --no-editline) editline=OFF;; - --abc-dir) die "missing argument to $1 (try -h)" ;; - --abc-dir=*) abc_dir=${1##*=} ;; - --glpk-dir) die "missing argument to $1 (try -h)" ;; --glpk-dir=*) glpk_dir=${1##*=} ;; @@ -372,8 +361,6 @@ fi && cmake_opts="$cmake_opts -DENABLE_PROFILING=$profiling" [ $editline != default ] \ && cmake_opts="$cmake_opts -DUSE_EDITLINE=$editline" -[ $abc != default ] \ - && cmake_opts="$cmake_opts -DUSE_ABC=$abc" [ $cln != default ] \ && cmake_opts="$cmake_opts -DUSE_CLN=$cln" [ $cryptominisat != default ] \ @@ -386,8 +373,6 @@ fi && cmake_opts="$cmake_opts -DUSE_POLY=$poly" [ $cocoa != default ] \ && cmake_opts="$cmake_opts -DUSE_COCOA=$cocoa" -[ "$abc_dir" != default ] \ - && cmake_opts="$cmake_opts -DABC_DIR=$abc_dir" [ "$glpk_dir" != default ] \ && cmake_opts="$cmake_opts -DGLPK_DIR=$glpk_dir" [ "$dep_path" != default ] \ |