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

Last change on this file since 1706 was 1599, checked in by tkr, 11 years ago

Upgrading version number of Mumps

File size: 1.0 KB
RevLine 
[247]1#!/bin/sh
2
[360]3# Set the following to the latest MUMPS version.
4#  THERE MUST BE NO SPACE BEFORE AND AFTER THE EQUAL (=) OPERATOR.
[1599]5mumps_ver=4.9.2
[323]6
[389]7set -e
[360]8
[525]9wgetcmd=wget
[1457]10whichwget=`which wget 2>/dev/null`
11if test -z "$whichwget" ; then
[247]12  echo "Utility wget not found in your PATH."
[525]13  if test `uname` = Darwin; then
14    wgetcmd=ftp
15    echo "Using ftp command instead."
16  else
17    exit -1
18  fi
[247]19fi
20
21echo " "
22echo "Running script for downloading the source code for MUMPS"
23echo " "
24
25rm -f MUMPS*.tgz
26
27echo "Downloading the source code from ..."
[525]28$wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
[247]29
30echo "Uncompressing the tarball..."
31gunzip -f MUMPS_${mumps_ver}.tar.gz
32
33echo "Unpacking the source code..."
34tar xf MUMPS_${mumps_ver}.tar
35
36echo "Deleting the tar file..."
37rm MUMPS_${mumps_ver}.tar
38
[957]39rm -rf MUMPS
[279]40mv MUMPS_${mumps_ver} MUMPS
41
[247]42echo " "
43echo "Done downloading the source code for MUMPS."
44echo " "
45
[323]46echo " "
[1500]47echo "Applying patch."
48echo " "
49
50patch -p0 < mumps.patch
51
52echo " "
[323]53echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.