From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 11 Jun 2014 18:15:23 +0000 (-0400)
Subject: --best now implies --with-glpk --with-abc
X-Git-Tag: cvc5-1.0.0~6835
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6704873b5229e709f15fc0b7b64444fa9fb552f3;p=cvc5.git

--best now implies --with-glpk --with-abc
---

diff --git a/config/cvc4.m4 b/config/cvc4.m4
index ea202e94f..1b0e88098 100644
--- a/config/cvc4.m4
+++ b/config/cvc4.m4
@@ -40,6 +40,8 @@ handle_option() {
       # set the best configuration
       handle_option --with-readline
       handle_option --with-cln
+      handle_option --with-glpk
+      handle_option --with-abc
       return
       ;;
     -enable-proofs|--enable-proofs)