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

Last change on this file since 1105 was 1105, checked in by stefan, 11 years ago

update to glpk 4.30

File size: 1.0 KB
RevLine 
[430]1#!/bin/sh
2
3set -e
[1105]4glpk_ver=4.30
[430]5
[522]6wgetcmd=wget
[430]7wgetcount=`which wget 2>/dev/null | wc -w`
8if test ! $wgetcount = 1; then
9  echo "Utility wget not found in your PATH."
[522]10  if test `uname` = Darwin; then
11    wgetcmd=ftp
12    echo "Using ftp command instead."
13  else
14    exit -1
15  fi
[430]16fi
17
18echo " "
[436]19echo "Running script to download the source code for GLPK $glpk_ver."
[430]20echo " "
21
[1105]22rm -f glpk*.tar.gz
[430]23
24echo "Downloading the source code from ftp.gnu.org..."
[522]25$wgetcmd ftp://ftp.gnu.org/gnu/glpk/glpk-${glpk_ver}.tar.gz
[430]26
27echo "Uncompressing the tarball..."
28gunzip -f glpk-${glpk_ver}.tar.gz
29
[436]30if test -d glpk ; then
31  echo "Moving current glpk to glpk.OLD."
32  if test -d glpk.OLD ; then
33    rm -rf glpk.OLD
34  fi
35  mv glpk glpk.OLD
36fi
37
[430]38echo "Unpacking the source code..."
39tar xf glpk-${glpk_ver}.tar
40
41echo "Deleting the tar file..."
42rm glpk-${glpk_ver}.tar
43
44mv glpk-${glpk_ver} glpk
45
46echo " "
47echo "Done downloading the source code for GLPK."
[788]48echo "Applying patch file."
[430]49echo " "
50
[788]51patch -p0 < glpk.patch
52
[430]53echo " "
54echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.