source: ThirdParty/Glpk/stable/1.4/get.Glpk @ 1249

Last change on this file since 1249 was 1249, checked in by stefan, 12 years ago

downgrade to use glpk 4.30 again (because fixes in OsiGlpk? trunk to use it with glpk >= 4.31 are not merged into stable/0.99 yet)

File size: 1.0 KB
Line 
1#!/bin/sh
2
3set -e
4glpk_ver=4.30
5
6wgetcmd=wget
7wgetcount=`which wget 2>/dev/null | wc -w`
8if test ! $wgetcount = 1; then
9  echo "Utility wget not found in your PATH."
10  if test `uname` = Darwin; then
11    wgetcmd=ftp
12    echo "Using ftp command instead."
13  else
14    exit -1
15  fi
16fi
17
18echo " "
19echo "Running script to download the source code for GLPK $glpk_ver."
20echo " "
21
22rm -f glpk*.tar.gz
23
24echo "Downloading the source code from ftp.gnu.org..."
25$wgetcmd ftp://ftp.gnu.org/gnu/glpk/glpk-${glpk_ver}.tar.gz
26
27echo "Uncompressing the tarball..."
28gunzip -f glpk-${glpk_ver}.tar.gz
29
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
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."
48echo "Applying patch file."
49echo " "
50
51patch -p0 < glpk.patch
52
53echo " "
54echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.