Mercurial > vanilla
annotate lib/mpfr/mpfr.sh @ 56:7244a4885a8a
lib/mpfr: initial import, closes #1155
author | David Demelier <markand@malikania.fr> |
---|---|
date | Fri, 01 Mar 2019 19:31:49 +0100 |
parents | |
children | ef65bd5eb573 |
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 |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
18 source ./mpfr.info |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
19 |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
20 case $(uname -m) in |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
21 x86_64) |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
22 CFLAGS="-O2 -fPIC" |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
23 ;; |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
24 *) |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
25 CFLAGS="-O2" |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
26 ;; |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
27 esac |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
28 |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
29 set -e |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
30 |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
31 rm -rf $PKGNAME-$PKGVERSION |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
32 tar xvaf $PKGNAME-$PKGVERSION.tar.xz |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
33 pushd $PKGNAME-$PKGVERSION |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
34 |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
35 CFLAGS="$CFLAGS" ./configure \ |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
36 --prefix=/usr \ |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
37 --enable-shared \ |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
38 --enable-thread-safe \ |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
39 --disable-static |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
40 make |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
41 make install DESTDIR=$DESTDIR |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
42 rm -f $DESTDIR/usr/lib/libmpfr.la |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
43 |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
44 popd |
7244a4885a8a
lib/mpfr: initial import, closes #1155
David Demelier <markand@malikania.fr>
parents:
diff
changeset
|
45 rm -rf $PKGNAME-$PKGVERSION |