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

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

First version of Mumps 3rd Party

File size: 839 bytes
Line 
1#!/bin/sh
2
3wgetcount=`which wget 2>/dev/null | wc -w`
4if test ! $wgetcount = 1; then
5  echo "Utility wget not found in your PATH."
6  exit -1
7fi
8
9echo " "
10echo "Running script for downloading the source code for MUMPS"
11echo " "
12
13rm -f MUMPS*.tgz
14
15mumps_ver=4.6.4
16
17echo "Downloading the source code from ..."
18wget http://graal.ens-lyon.fr/MUMPS/MUMPS_${mumps_ver}.tar.gz
19
20echo "Uncompressing the tarball..."
21gunzip -f MUMPS_${mumps_ver}.tar.gz
22
23echo "Unpacking the source code..."
24tar xf MUMPS_${mumps_ver}.tar
25
26echo "Deleting the tar file..."
27rm MUMPS_${mumps_ver}.tar
28
29echo "Applying a patch for version 4.6.4"
30sed -e 's/         id%DKEEP(1) = ZERO/         id%DKEEP(1) = -1.0/' MUMPS_${mumps_ver}/src/dmumps_part5.F > bla
31mv bla MUMPS_${mumps_ver}/src/dmumps_part5.F
32
33echo " "
34echo "Done downloading the source code for MUMPS."
35echo " "
36
Note: See TracBrowser for help on using the repository browser.