Mercurial > vanilla
annotate lib/mpfr/mpfr.sh @ 1149:ee4b956157fe
kernel/linux-headers: rename from lib/linux-headers
author | David Demelier <markand@malikania.fr> |
---|---|
date | Wed, 25 Sep 2019 21:10:00 +0200 |
parents | 297b5eef115e |
children | 6710613b88b9 |
rev | line source |
---|---|
1115
297b5eef115e
vanilla: change shebangs to /bin/sh
David Demelier <markand@malikania.fr>
parents:
1107
diff
changeset
|
1 #!/bin/sh |
56
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 |
1107
7791d3dbfecf
vanilla: consolidate licenses and many options
David Demelier <markand@malikania.fr>
parents:
1019
diff
changeset
|
21 PKGLICENSE="LGPLv30+" |
140
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" |
902
a133976e0783
vanilla: remove all origins, closes #2203
David Demelier <markand@malikania.fr>
parents:
817
diff
changeset
|
24 PKGDEPENDS="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 |
606
25cecc6dca48
vanilla: use POSIX shell and busybox tar
David Demelier <markand@malikania.fr>
parents:
549
diff
changeset
|
36 tar xvf $PKGNAME-$PKGVERSION.tar.xz |
25cecc6dca48
vanilla: use POSIX shell and busybox tar
David Demelier <markand@malikania.fr>
parents:
549
diff
changeset
|
37 cd $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 \ |
745
59a2fa6992bc
vanilla: re-enable static libraries
David Demelier <markand@malikania.fr>
parents:
606
diff
changeset
|
48 --enable-thread-safe |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
49 make |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
50 make install DESTDIR=$DESTDIR |
817
0e6c54d47dfb
vanilla: fix many FHS issues
David Demelier <markand@malikania.fr>
parents:
745
diff
changeset
|
51 find $DESTDIR -type f -name "*.la" -delete |
56
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
52 |
606
25cecc6dca48
vanilla: use POSIX shell and busybox tar
David Demelier <markand@malikania.fr>
parents:
549
diff
changeset
|
53 cd .. |
140
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
54 rm -rf $PKGNAME-$PKGVERSION |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
55 } |