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

Last change on this file since 430 was 430, checked in by andreasw, 13 years ago

including first trunk version of ThirdParty/Glpk?

File size: 807 bytes
Line 
1#!/bin/sh
2
3set -e
4glpk_ver=4.17
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 "Applying a patch for version 4.17"
33patch -p0 < glpk.patch
34
35echo " "
36echo "Done downloading the source code for GLPK."
37echo " "
38
39echo " "
40echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.