Ignore:
Timestamp:
Jul 23, 2007 6:00:17 PM (13 years ago)
Author:
stefan
Message:

update to glpk 4.19

File:
1 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Glpk/trunk/get.Glpk

    r430 r433  
    22
    33set -e
    4 glpk_ver=4.17
     4glpk_ver=4.19
    55
    66wgetcount=`which wget 2>/dev/null | wc -w`
     
    3030mv glpk-${glpk_ver} glpk
    3131
    32 echo "Applying a patch for version 4.17"
    33 patch -p0 < glpk.patch
    34 
    3532echo " "
    3633echo "Done downloading the source code for GLPK."
Note: See TracChangeset for help on using the changeset viewer.