# HG changeset patch # User alpar # Date 1114192406 0 # Node ID 2c925c18d130aedaae0cf56ce1a059268ad3a3c4 # Parent 998e8def9676c2fc03199c560b2c4a5a4993f011 Set $lp_{glpk|cplex}_found even if --without-{glpk|cplex} option was given. diff -r 998e8def9676 -r 2c925c18d130 config/lp.m4 --- a/config/lp.m4 Fri Apr 22 17:47:01 2005 +0000 +++ b/config/lp.m4 Fri Apr 22 17:53:26 2005 +0000 @@ -13,6 +13,7 @@ AS_HELP_STRING([--with-glpk-libdir=DIR], [search for GLPK libraries in DIR]), [], [with_glpk_libdir=no]) + lx_glpk_found=no if test x"$with_glpk" != x"no"; then AC_MSG_CHECKING([for GLPK]) @@ -86,6 +87,7 @@ AS_HELP_STRING([--with-cplex-libdir=DIR], [search for CPLEX libraries in DIR]), [], [with_cplex_libdir=no]) + lx_cplex_found=no if test x"$with_cplex" != x"no"; then AC_MSG_CHECKING([for CPLEX])