Changeset 1472 for ThirdParty/Glpk/stable/1.6/configure

Timestamp:

Feb 21, 2010 9:26:28 AM (11 years ago)

Author:

stefan

Message:

update to glpk 4.43

Location:

ThirdParty/Glpk/stable/1.6

Files:

• . (modified) (1 prop)
• configure (modified) (1 diff)

ThirdParty/Glpk/stable/1.6/configure

@@ -20089 +20089 @@
   echo "$as_me:$LINENO: result: ${majorver}.${minorver}" >&5
 echo "${ECHO_T}${majorver}.${minorver}" >&6
-  if test x$majorver != x4 || test x$minorver != x41 ; then
-    { { echo "$as_me:$LINENO: error: \"Incorrect GLPK version. This build system is made for GLPK 4.41. Please update by rerunning get.GLPK\"" >&5
-echo "$as_me: error: \"Incorrect GLPK version. This build system is made for GLPK 4.41. Please update by rerunning get.GLPK\"" >&2;}
+  if test x$majorver != x4 || test x$minorver != x43 ; then
+    { { echo "$as_me:$LINENO: error: \"Incorrect GLPK version. This build system is made for GLPK 4.43. Please update by rerunning get.GLPK\"" >&5
+echo "$as_me: error: \"Incorrect GLPK version. This build system is made for GLPK 4.43. Please update by rerunning get.GLPK\"" >&2;}
    { (exit 1); exit 1; }; }
   fi