source: ThirdParty/Mumps/stable/1.4/get.Mumps @ 2796

Last change on this file since 2796 was 2748, checked in by stefan, 8 years ago

sync with trunk rev 2747

File size: 1.1 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=ftp
15    echo "Using ftp command instead."
16  elif test `uname` = FreeBSD; then
17    wgetcmd=fetch
18    echo "Using fetch command 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
52
53echo " "
54echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.