Set $lp_{glpk|cplex}_found even if --without-{glpk|cplex} option was given.
authoralpar
Fri, 22 Apr 2005 17:53:26 +0000
changeset 13822c925c18d130
parent 1381 998e8def9676
child 1383 79b68a337f9f
Set $lp_{glpk|cplex}_found even if --without-{glpk|cplex} option was given.
config/lp.m4
     1.1 --- a/config/lp.m4	Fri Apr 22 17:47:01 2005 +0000
     1.2 +++ b/config/lp.m4	Fri Apr 22 17:53:26 2005 +0000
     1.3 @@ -13,6 +13,7 @@
     1.4  AS_HELP_STRING([--with-glpk-libdir=DIR], [search for GLPK libraries in DIR]),
     1.5                [], [with_glpk_libdir=no])
     1.6  
     1.7 +  lx_glpk_found=no
     1.8    if test x"$with_glpk" != x"no"; then
     1.9      AC_MSG_CHECKING([for GLPK])
    1.10  
    1.11 @@ -86,6 +87,7 @@
    1.12  AS_HELP_STRING([--with-cplex-libdir=DIR], [search for CPLEX libraries in DIR]),
    1.13                [], [with_cplex_libdir=no])
    1.14  
    1.15 +  lx_cplex_found=no
    1.16    if test x"$with_cplex" != x"no"; then
    1.17      AC_MSG_CHECKING([for CPLEX])
    1.18