Mercurial > vanilla
annotate lib/mpfr/mpfr.sh @ 586:1218a8f753b6
core/busybox: let's re-add /etc/inittab support
While busybox has weird /etc/inittab support the predefined actions without it
are too minimalistic so re-add the support for it but don't install an
/etc/inittab file.
The file /etc/inittab file is still installed with sysvinit but if someone wants
to use busybox's init it should create its own /etc/inittab file with the
busybox syntax and do not install sysvinit afterwards.
author | David Demelier <markand@malikania.fr> |
---|---|
date | Mon, 08 Jul 2019 20:35:00 +0200 |
parents | bad483aace64 |
children | 25cecc6dca48 |
rev | line source |
---|---|
56
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
1 #!/bin/sh |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
2 # |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
3 # Copyright (c) 2019 David Demelier <markand@malikania.fr> |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
4 # |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
5 # Permission to use, copy, modify, and/or distribute this software for any |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
6 # purpose with or without fee is hereby granted, provided that the above |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
7 # copyright notice and this permission notice appear in all copies. |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
8 # |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
9 # THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
10 # WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
11 # MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
12 # ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
13 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
14 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
15 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
16 # |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
17 |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
18 PKGNAME=mpfr |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
19 PKGVERSION=4.0.2 |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
20 PKGREVISION=1 |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
21 PKGLICENSE="LGPLv3+" |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
22 PKGSUMMARY="multiple-precision floating-point library in C" |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
23 PKGDOWNLOAD="https://www.mpfr.org/$PKGNAME-$PKGVERSION/$PKGNAME-$PKGVERSION.tar.xz" |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
24 PKGDEPENDS="lib/gmp" |
56
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
25 |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
26 : ${CHOST:=$(uname -m)-linux-musl} |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
27 : ${CBUILD:=$(uname -m)-linux-musl} |
392
8017138b628e
lib: convert packages to clang
David Demelier <markand@malikania.fr>
parents:
140
diff
changeset
|
28 : ${CC:=clang} |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
29 : ${CFLAGS:=-O2} |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
30 : ${LDFLAGS:=} |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
31 : ${LIBS:=} |
56
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
32 |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
33 build() |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
34 { |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
35 rm -rf $PKGNAME-$PKGVERSION |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
36 tar xvaf $PKGNAME-$PKGVERSION.tar.xz |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
37 pushd $PKGNAME-$PKGVERSION |
56
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
38 |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
39 CC="$CC" \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
40 CFLAGS="$CFLAGS" \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
41 LDFLAGS="$LDFLAGS" \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
42 LIBS="$LIBS" \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
43 ./configure \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
44 --build=$CBUILD \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
45 --host=$CHOST \ |
549
bad483aace64
vanilla: use prefix= instead
David Demelier <markand@malikania.fr>
parents:
526
diff
changeset
|
46 --prefix= \ |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
47 --enable-shared \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
48 --enable-thread-safe \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
49 --disable-static |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
50 make |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
51 make install DESTDIR=$DESTDIR |
526 | 52 rm -f $DESTDIR/lib/libmpfr.la |
56
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
53 |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
54 popd |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
55 rm -rf $PKGNAME-$PKGVERSION |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
56 } |