Mercurial > vanilla
annotate lib/mpfr/mpfr.sh @ 253:a6c9f6d9a420
templates: update cmake.sh
author | David Demelier <markand@malikania.fr> |
---|---|
date | Thu, 21 Mar 2019 20:10:00 +0100 |
parents | ef65bd5eb573 |
children | 8017138b628e |
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} |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
28 : ${CC:=gcc} |
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 \ |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
46 --prefix=/usr \ |
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 |
ef65bd5eb573
lib: merge .sh and .info
David Demelier <markand@malikania.fr>
parents:
56
diff
changeset
|
52 rm -f $DESTDIR/usr/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 } |