Ignore:
Timestamp:
Dec 19, 2010 11:11:06 AM (10 years ago)
Author:
stefan
Message:

update to Glpk 4.45 (4.44 still supported)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Glpk/trunk/configure

    r1883 r1917  
    2011020110echo "$as_me:$LINENO: result: ${glpkmajorver}.${glpkminorver}" >&5
    2011120111echo "${ECHO_T}${glpkmajorver}.${glpkminorver}" >&6
    20112 if test x$glpkmajorver != x4 || test x$glpkminorver != x44 ; then
    20113   { { echo "$as_me:$LINENO: error: \"Incorrect GLPK version. This build system is made for GLPK 4.44. Please update by rerunning get.GLPK\"" >&5
    20114 echo "$as_me: error: \"Incorrect GLPK version. This build system is made for GLPK 4.44. Please update by rerunning get.GLPK\"" >&2;}
     20112if test x$glpkmajorver != x4 || ( test x$glpkminorver != x44 && test x$glpkminorver != x45 ); then
     20113  { { 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
     20114echo "$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;}
    2011520115   { (exit 1); exit 1; }; }
    2011620116fi
Note: See TracChangeset for help on using the changeset viewer.