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

Timestamp:

Jan 1, 2010 1:30:21 PM (11 years ago)

Author:

stefan

Message:

synchronize with trunk rev 1458: use glpk 4.41

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 != x40 ; then
-    { { echo "$as_me:$LINENO: error: \"Incorrect GLPK version. This build system is made for GLPK 4.40. Please update by rerunning get.GLPK\"" >&5
-echo "$as_me: error: \"Incorrect GLPK version. This build system is made for GLPK 4.40. Please update by rerunning get.GLPK\"" >&2;}
+  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;}
    { (exit 1); exit 1; }; }
   fi