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

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

clear .lo files in get.Glpk to make sure that after an update the whole glpk is build again

File size: 1.1 KB
Line 
1#!/bin/sh
2
3set -e
4glpk_ver=4.26
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*.tgz
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 "Clear previous build..."
47rm -f *.lo
48
49echo " "
50echo "Done downloading the source code for GLPK."
51echo "Applying patch file."
52echo " "
53
54patch -p0 < glpk.patch
55
56echo " "
57echo "Verify that there are no error message in the output above."
Note: See TracBrowser for help on using the repository browser.