annotate tools/build-make.sh @ 4043:b54e00ea56bc

of-fl-core: readd fl-core patch in dos mode * src/of-fl-core-1-fixes.patch: readd patch
author John Donoghue
date Fri, 02 Oct 2015 10:24:38 -0400
parents b7f1e80be561
children a11736295721
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
b7f1e80be561 script to build make 3.82
John W. Eaton <jwe@octave.org>
parents:
diff changeset
9 make_ver="3.82"
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