annotate tools/build-make.sh @ 4740:9942a9c37ffe

remove octave 'alpha' package * octave-1-gnulib.patch, octave.mk: Delete. * dist-files.mk: Update. * index.html: Delete entry for octave. * configure.ac: Don't handle 'alpha' in --enable-octave=VERSION option. (AC_CONFIG_SRCDIR): Look for src/default-octave.mk instead of src/octave.mk.
author John W. Eaton <jwe@octave.org>
date Tue, 26 Jun 2018 13:22:51 -0400
parents a11736295721
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