diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-11 14:15:23 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-11 16:18:23 -0400 |
commit | 6704873b5229e709f15fc0b7b64444fa9fb552f3 (patch) | |
tree | ee47878a169200f4f4e411dfc3d86062abc80012 /config | |
parent | 6f1454d2082d4e8783c3b35c30144ff557b99444 (diff) |
--best now implies --with-glpk --with-abc
Diffstat (limited to 'config')
-rw-r--r-- | config/cvc4.m4 | 2 |
1 files changed, 2 insertions, 0 deletions
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) |