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

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

updated MUMPS download instructions and script to newest version

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