Changeset 3813


Ignore:
Timestamp:
Mar 12, 2018 9:42:03 AM (17 months ago)
Author:
stefan
Message:

use curl -L -O to download 3rdparty code on Mac

  • still had "ftp" for some and curl with -k for others (which seems less secure)
Location:
ThirdParty
Files:
7 edited

Legend:

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

    r3573 r3813  
    88  echo "Utility wget not found in your PATH."
    99  if test `uname` = Darwin; then
    10     wgetcmd="curl -L -k -O"
    11     echo "Using ftp command instead."
     10    wgetcmd="curl -L -O"
     11    echo "Using curl instead."
    1212  elif test `uname` = FreeBSD; then
    1313    wgetcmd=fetch
    14     echo "Using fetch command instead."
     14    echo "Using fetch instead."
    1515  else
    1616    exit -1
  • ThirdParty/Blas/trunk/get.Blas

    r3705 r3813  
    88  echo "Utility wget not found in your PATH."
    99  if test `uname` = Darwin; then
    10     wgetcmd="curl -L -k -O"
    11     echo "Using ftp command instead."
     10    wgetcmd="curl -L -O"
     11    echo "Using curl instead."
    1212  elif test `uname` = FreeBSD; then
    1313    wgetcmd=fetch
    14     echo "Using fetch command instead."
     14    echo "Using fetch instead."
    1515  else
    1616    exit -1
  • ThirdParty/CxxTest/trunk/get.CxxTest

    r2707 r3813  
    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
  • ThirdParty/Glpk/trunk/get.Glpk

    r2711 r3813  
    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
  • ThirdParty/Lapack/trunk/get.Lapack

    r3055 r3813  
    1010  echo "Utility wget not found in your PATH."
    1111  if test `uname` = Darwin; then
    12     wgetcmd="curl -L -k -O"
    13     echo "Using ftp command instead."
     12    wgetcmd="curl -L -O"
     13    echo "Using curl instead."
    1414  elif test `uname` = FreeBSD; then
    1515    wgetcmd=fetch
    16     echo "Using fetch command instead."
     16    echo "Using fetch instead."
    1717  else
    1818    exit -1
  • ThirdParty/Metis/trunk/get.Metis

    r2560 r3813  
    88  echo "Utility wget not found in your PATH."
    99  if test `uname` = Darwin; then
    10     wgetcmd=ftp
    11     echo "Using ftp command instead."
     10    wgetcmd="curl -L -O"
     11    echo "Using curl instead."
    1212  elif test `uname` = FreeBSD; then
    1313    wgetcmd=fetch
    14     echo "Using fetch command instead."
     14    echo "Using fetch instead."
    1515  else
    1616    exit -1
  • ThirdParty/Mumps/trunk/get.Mumps

    r3703 r3813  
    1212  echo "Utility wget not found in your PATH."
    1313  if test `uname` = Darwin; then
    14     wgetcmd=ftp
    15     echo "Using ftp command instead."
     14    wgetcmd="curl -L -O"
     15    echo "Using curl instead."
    1616  elif test `uname` = FreeBSD; then
    1717    wgetcmd=fetch
    18     echo "Using fetch command instead."
     18    echo "Using fetch instead."
    1919  else
    2020    exit -1
Note: See TracChangeset for help on using the changeset viewer.