Changeset 3896 for ThirdParty/Glpk


Ignore:
Timestamp:
Nov 17, 2018 11:02:47 AM (9 months ago)
Author:
stefan
Message:

sync with trunk

Location:
ThirdParty/Glpk/stable/1.10
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Glpk/stable/1.10

  • ThirdParty/Glpk/stable/1.10/get.Glpk

    r2711 r3896  
    99  echo "Utility wget not found in your PATH."
    1010  if test `uname` = Darwin; then
    11     wgetcmd=ftp
    12     echo "Using ftp command instead."
     11    wgetcmd="curl -L -O"
     12    echo "Using curl instead."
    1313  elif test `uname` = FreeBSD; then
    1414    wgetcmd=fetch
    15     echo "Using fetch command instead."
     15    echo "Using fetch instead."
    1616  else
    1717    exit -1
Note: See TracChangeset for help on using the changeset viewer.