source: ThirdParty/Mumps/stable/1.0/get.Mumps @ 539

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

sychronizing trunk rev 534 with Mumps/stable/1.0

File size: 1.2 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
9wgetcmd=wget
10wgetcount=`which wget 2>/dev/null | wc -w`
11if test ! $wgetcount = 1; then
12  echo "Utility wget not found in your PATH."
13  if test `uname` = Darwin; then
14    wgetcmd=ftp
15    echo "Using ftp command instead."
16  else
17    exit -1
18  fi
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 ..."
28$wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
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
39#echo "Applying a patch for version 4.6.4"
40#sed -e 's/         id%DKEEP(1) = ZERO/         id%DKEEP(1) = -1.0/' MUMPS_${mumps_ver}/src/dmumps_part5.F > bla
41#mv bla MUMPS_${mumps_ver}/src/dmumps_part5.F
42
43mv MUMPS_${mumps_ver} MUMPS
44
45echo " "
46echo "Done downloading the source code for MUMPS."
47echo " "
48
49echo " "
50echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.