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

Last change on this file since 2561 was 2561, checked in by stefan, 9 years ago

use fetch instead of wget on FreeBSD (patch contributed by Pedro F. Giffuni)

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.10.0
6
7set -e
8
9wgetcmd=wget
10wgetcount=`which wget 2>/dev/null | wc -l`
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  elif test `uname` = FreeBSD; then
17    wgetcmd=fetch
18    echo "Using fetch command instead."
19  else
20    exit -1
21  fi
22fi
23
24echo " "
25echo "Running script for downloading the source code for MUMPS"
26echo " "
27
28rm -f MUMPS*.tgz
29
30echo "Downloading the source code from ..."
31$wgetcmd http://mumps.enseeiht.fr/MUMPS_${mumps_ver}.tar.gz
32
33echo "Uncompressing the tarball..."
34gunzip -f MUMPS_${mumps_ver}.tar.gz
35
36echo "Unpacking the source code..."
37tar xf MUMPS_${mumps_ver}.tar
38
39echo "Deleting the tar file..."
40rm MUMPS_${mumps_ver}.tar
41
42rm -rf MUMPS
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.