source: ThirdParty/Glpk/trunk/get.Glpk @ 433

Last change on this file since 433 was 433, checked in by stefan, 13 years ago

update to glpk 4.19

File size: 742 bytes
Line 
1#!/bin/sh
2
3set -e
4glpk_ver=4.19
5
6wgetcount=`which wget 2>/dev/null | wc -w`
7if test ! $wgetcount = 1; then
8  echo "Utility wget not found in your PATH."
9  exit -1
10fi
11
12echo " "
13echo "Running script for downloading the source code for GLPK"
14echo " "
15
16rm -f glpk*.tgz
17
18echo "Downloading the source code from ftp.gnu.org..."
19wget ftp://ftp.gnu.org/gnu/glpk/glpk-${glpk_ver}.tar.gz
20
21echo "Uncompressing the tarball..."
22gunzip -f glpk-${glpk_ver}.tar.gz
23
24echo "Unpacking the source code..."
25tar xf glpk-${glpk_ver}.tar
26
27echo "Deleting the tar file..."
28rm glpk-${glpk_ver}.tar
29
30mv glpk-${glpk_ver} glpk
31
32echo " "
33echo "Done downloading the source code for GLPK."
34echo " "
35
36echo " "
37echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.