Changeset 1917 for ThirdParty/Glpk/trunk/configure

Timestamp:

Dec 19, 2010 11:11:06 AM (10 years ago)

Author:

stefan

Message:

update to Glpk 4.45 (4.44 still supported)

File:

• ThirdParty/Glpk/trunk/configure (modified) (1 diff)

ThirdParty/Glpk/trunk/configure

@@ -20110 +20110 @@
 echo "$as_me:$LINENO: result: ${glpkmajorver}.${glpkminorver}" >&5
 echo "${ECHO_T}${glpkmajorver}.${glpkminorver}" >&6
-if test x$glpkmajorver != x4 || test x$glpkminorver != x44 ; then
-  { { echo "$as_me:$LINENO: error: \"Incorrect GLPK version. This build system is made for GLPK 4.44. Please update by rerunning get.GLPK\"" >&5
-echo "$as_me: error: \"Incorrect GLPK version. This build system is made for GLPK 4.44. Please update by rerunning get.GLPK\"" >&2;}
+if test x$glpkmajorver != x4 || ( test x$glpkminorver != x44 && test x$glpkminorver != x45 ); then
+  { { echo "$as_me:$LINENO: error: \"Incorrect GLPK version. This build system is made for GLPK 4.44 or 4.45. Please update by rerunning get.GLPK\"" >&5
+echo "$as_me: error: \"Incorrect GLPK version. This build system is made for GLPK 4.44 or 4.45. Please update by rerunning get.GLPK\"" >&2;}
    { (exit 1); exit 1; }; }
 fi