source: ThirdParty/Mumps/trunk/get.Mumps @ 3813

Last change on this file since 3813 was 3813, checked in by stefan, 3 years ago

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)
File size: 1.2 KB
Line 
1#!/bin/sh
2
3# Set the following to the latest MUMPS version.
4#  THERE MUST BE NO SPACE BEFORE AND AFTER THE EQUAL (=) OPERATOR.
5mumps_ver=4.10.0
6
7set -e
8
9wgetcmd=wget
10wgetcount=`which wget 2>/dev/null | wc -l`
11if test ! $wgetcount = 1; then
12  echo "Utility wget not found in your PATH."
13  if test `uname` = Darwin; then
14    wgetcmd="curl -L -O"
15    echo "Using curl instead."
16  elif test `uname` = FreeBSD; then
17    wgetcmd=fetch
18    echo "Using fetch instead."
19  else
20    exit -1
21  fi
22fi
23
24echo " "
25echo "Running script for downloading the source code for MUMPS"
26echo " "
27
28rm -f MUMPS*.tgz
29
30echo "Downloading the source code from ..."
31$wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
32
33echo "Uncompressing the tarball..."
34gunzip -f MUMPS_${mumps_ver}.tar.gz
35
36echo "Unpacking the source code..."
37tar xf MUMPS_${mumps_ver}.tar
38
39echo "Deleting the tar file..."
40rm MUMPS_${mumps_ver}.tar
41
42rm -rf MUMPS
43mv MUMPS_${mumps_ver} MUMPS
44
45echo " "
46echo "Done downloading the source code for MUMPS."
47echo " "
48echo "Apply a patch to work around a bug in MUMPS."
49echo " "
50
51patch -p0 < mumps.patch
52patch -p0 < mumps_mpi.patch
53mv MUMPS/libseq/mpi.h MUMPS/libseq/mumps_mpi.h
54
55echo " "
56echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.