annotate tools/build-make.sh @ 6335:0825abaf61a7

mingw-w64: Special case for large input for complex inverse trigonometric functions (bug #49091). * src/mingw-w64-complex-inverse-trig.patch: Add patch for mingw-w64 CRT that implements a special case for large input for complex inverse trigonometric functions cacosh and casinh (and therefore functions that are derived from it, like cacos and casin). * dist-files.mk: Add new patch to list.
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 23 Jul 2022 19:00:09 +0200
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