From 9cae42243a4c0be14fd72f5379ee4eb9f4bc88e9 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 1 Nov 2021 13:59:47 -0700
Subject: bv: Remove layered solver. (#7455)

This commit removes the old bit-vector solver code.
---
 configure.sh | 15 ---------------
 1 file changed, 15 deletions(-)

(limited to 'configure.sh')

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 ] \
-- 
cgit v1.2.3