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

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

update to glpk 4.36

File size: 1.1 KB
Line 
1#!/bin/sh
2
3set -e
4glpk_ver=4.36
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."
49
50patch -p0 < glpk.patch
51
52echo "Touch every source file to force rebuild of whole package."
53
54touch glpk/src/*.c glpk/include/*.h
55
56echo " "
57echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.