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

diff --git a/config/cvc4.m4 b/config/cvc4.m4
index ea202e94fc1ad1ed85991c14a5e5df73eea8e575..1b0e88098e9ce0d4cbf9935b50e0e4216580d1f2 100644 (file)
--- 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)