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

Last change on this file since 389 was 389, checked in by andreasw, 15 years ago

make sure get.Mumps script exits if there is a failure

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.7.3
6
7set -e
8
9wgetcount=`which wget 2>/dev/null | wc -w`
10if test ! $wgetcount = 1; then
11  echo "Utility wget not found in your PATH."
12  exit -1
13fi
14
15echo " "
16echo "Running script for downloading the source code for MUMPS"
17echo " "
18
19rm -f MUMPS*.tgz
20
21echo "Downloading the source code from ..."
22#wget http://graal.ens-lyon.fr/MUMPS/MUMPS_${mumps_ver}.tar.gz
23wget http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
24
25echo "Uncompressing the tarball..."
26gunzip -f MUMPS_${mumps_ver}.tar.gz
27
28echo "Unpacking the source code..."
29tar xf MUMPS_${mumps_ver}.tar
30
31echo "Deleting the tar file..."
32rm MUMPS_${mumps_ver}.tar
33
34#echo "Applying a patch for version 4.6.4"
35#sed -e 's/         id%DKEEP(1) = ZERO/         id%DKEEP(1) = -1.0/' MUMPS_${mumps_ver}/src/dmumps_part5.F > bla
36#mv bla MUMPS_${mumps_ver}/src/dmumps_part5.F
37
38mv MUMPS_${mumps_ver} MUMPS
39
40echo " "
41echo "Done downloading the source code for MUMPS."
42echo " "
43
44echo " "
45echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.