source: ThirdParty/Mumps/stable/1.1/get.Mumps @ 1155

Last change on this file since 1155 was 1155, checked in by andreasw, 12 years ago

upgraded to MUMPS version 4.8.1 (synchronized with trunk rev 1154)

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.8.1
6
7set -e
8
9uname=`uname`
10case "$uname" in
11  MINGW* | CYGWIN*)
12    patch=yes
13    ;;
14esac
15
16wgetcmd=wget
17wgetcount=`which wget 2>/dev/null | wc -w`
18if test ! $wgetcount = 1; then
19  echo "Utility wget not found in your PATH."
20  if test `uname` = Darwin; then
21    wgetcmd=ftp
22    echo "Using ftp command instead."
23  else
24    exit -1
25  fi
26fi
27
28echo " "
29echo "Running script for downloading the source code for MUMPS"
30echo " "
31
32rm -f MUMPS*.tgz
33
34echo "Downloading the source code from ..."
35$wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
36
37echo "Uncompressing the tarball..."
38gunzip -f MUMPS_${mumps_ver}.tar.gz
39
40echo "Unpacking the source code..."
41tar xf MUMPS_${mumps_ver}.tar
42
43echo "Deleting the tar file..."
44rm MUMPS_${mumps_ver}.tar
45
46rm -rf MUMPS
47mv MUMPS_${mumps_ver} MUMPS
48
49if test "$patch" = yes; then
50  echo "Applying a patch for version 4.7.3"
51  patch -p0 < mumps_4.7.3.Win.patch
52fi
53
54echo " "
55echo "Done downloading the source code for MUMPS."
56echo " "
57
58echo " "
59echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.