Changeset 4045


Ignore:
Timestamp:
Dec 19, 2019 2:53:49 AM (5 months ago)
Author:
stefan
Message:

try to download mumps source from github first

  • may be more reliable than MUMPS server, which is still there as fallback
Location:
ThirdParty/Mumps
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Mumps/branches/mumps5/get.Mumps

    r4003 r4045  
    2828rm -f MUMPS*.tgz
    2929
    30 echo "Downloading the source code from ..."
    31 $wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
     30echo "Downloading the source code from coin-or-tools.github.io..."
     31if $wgetcmd http://coin-or-tools.github.io/ThirdParty-Mumps/MUMPS_${mumps_ver}.tar.gz ;
     32then
     33  echo "Download finished."
     34else
     35  echo
     36  echo "Downloading from GitHub failed, trying mumps.enseeiht.fr..."
     37  if $wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz ;
     38  then
     39    echo "Download finished."
     40  else
     41    echo "Download failed...exiting"
     42  fi
     43fi
    3244
    3345echo "Uncompressing the tarball..."
  • ThirdParty/Mumps/stable/1.6/get.Mumps

    r3911 r4045  
    2828rm -f MUMPS*.tgz
    2929
    30 echo "Downloading the source code from ..."
    31 $wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
     30echo "Downloading the source code from coin-or-tools.github.io..."
     31if $wgetcmd http://coin-or-tools.github.io/ThirdParty-Mumps/MUMPS_${mumps_ver}.tar.gz ;
     32then
     33  echo "Download finished."
     34else
     35  echo
     36  echo "Downloading from GitHub failed, trying mumps.enseeiht.fr..."
     37  if $wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz ;
     38  then
     39    echo "Download finished."
     40  else
     41    echo "Download failed...exiting"
     42  fi
     43fi
    3244
    3345echo "Uncompressing the tarball..."
  • ThirdParty/Mumps/trunk/get.Mumps

    r3813 r4045  
    2828rm -f MUMPS*.tgz
    2929
    30 echo "Downloading the source code from ..."
    31 $wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
     30echo "Downloading the source code from coin-or-tools.github.io..."
     31if $wgetcmd http://coin-or-tools.github.io/ThirdParty-Mumps/MUMPS_${mumps_ver}.tar.gz ;
     32then
     33  echo "Download finished."
     34else
     35  echo
     36  echo "Downloading from GitHub failed, trying mumps.enseeiht.fr..."
     37  if $wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz ;
     38  then
     39    echo "Download finished."
     40  else
     41    echo "Download failed...exiting"
     42  fi
     43fi
    3244
    3345echo "Uncompressing the tarball..."
Note: See TracChangeset for help on using the changeset viewer.