changeset 568 | b53a9068e3e4 |
parent 567 | 3314f58e7b25 |
child 627 | 20dac2104519 |
1.1 --- a/configure.ac Wed Apr 01 22:58:58 2009 +0200 1.2 +++ b/configure.ac Fri Apr 03 16:58:22 2009 +0100 1.3 @@ -59,8 +59,7 @@ 1.4 LX_CHECK_GLPK 1.5 LX_CHECK_CPLEX 1.6 LX_CHECK_SOPLEX 1.7 -LX_CHECK_CLP 1.8 -LX_CHECK_CBC 1.9 +LX_CHECK_COIN 1.10 1.11 AM_CONDITIONAL([HAVE_LP], [test x"$lx_lp_found" = x"yes"]) 1.12 AM_CONDITIONAL([HAVE_MIP], [test x"$lx_mip_found" = x"yes"])