configure.ac
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"])