diff options
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/configure.sh b/configure.sh index 611ac54ad..ae9b275aa 100755 --- a/configure.sh +++ b/configure.sh @@ -64,8 +64,6 @@ The following flags enable optional packages (disable with --no-<option name>). --drat2er use drat2er (required for eager BV proofs) --lfsc use the LFSC proof checker --symfpu use SymFPU for floating point solver - --portfolio build the multithreaded portfolio version of CVC4 - (pcvc4) --readline support the readline library Optional Path to Optional Packages: @@ -131,7 +129,6 @@ glpk=default lfsc=default muzzle=default optimized=default -portfolio=default proofs=default replay=default shared=default @@ -248,9 +245,6 @@ do --optimized) optimized=ON;; --no-optimized) optimized=OFF;; - --portfolio) portfolio=ON;; - --no-portfolio) portfolio=OFF;; - --proofs) proofs=ON;; --no-proofs) proofs=OFF;; |