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

Last change on this file since 360 was 360, checked in by andreasw, 14 years ago

minor documentation change

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