annotate tools/build-make.sh @ 4668:a11736295721

tools/build-make.sh: update to make version 4.1
author John W. Eaton <jwe@octave.org>
date Thu, 19 Apr 2018 17:24:04 -0400
parents b7f1e80be561
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3193
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
1 #! /bin/sh
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
2
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
3 ## Run from top-level mxe-octave directory.
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
4
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
5 set -e
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
6
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
7 top_dir=`pwd`
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
8
4668
a11736295721 tools/build-make.sh: update to make version 4.1
John W. Eaton <jwe@octave.org>
parents: 3193
diff changeset
9 make_ver="4.1"
3193
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
10 make_dir="make-$make_ver"
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
11 make_pkg="$make_dir.tar.gz"
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
12
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
13 if [ ! -d pkg ]; then
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
14 mkdir pkg
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
15 fi
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
16
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
17 if [ ! -f pkg/$make_pkg ]; then
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
18 wget ftp://ftp.gnu.org/gnu/make/$make_pkg -O pkg/$make_pkg
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
19 fi
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
20
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
21 rm -rf $make_dir
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
22
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
23 tar zxf pkg/$make_pkg
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
24
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
25 cd $make_dir
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
26
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
27 ./configure --prefix=$top_dir/usr
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
28
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
29 make
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
30
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
31 make install
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
32
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
33 cd $top_dir
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
34
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
35 rm -rf $make_dir