annotate tools/build-make.sh @ 4066:0962acdde3be

builld: allow out of source build * Makefile.in: add TOP_BUILD_DIR var and use TOP_DIR=srcdir, TOP_BUILD_DIR=builddir, modify paths to use TOP_DIR where needed * binary-dist-rules.mk: use TOP_DIR and TOP_BUILD_DIR where needed * makeinst-script.sh: use script path to determine TOPDIR, use TOPDIR where needed * src/default-octave.mk: install octave-version to builddir * src/stable-octave.mk: install octave-version to builddir * src/octave.mk: install octave-version to builddir * tools/set-mxe-env.sh.in: update fir builddir and srcdir use
author John Donoghue
date Wed, 23 Dec 2015 08:11:04 -0500
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