1 |
commit: e099a1ee8d0bd25f3563e24459919f6d8a34575a |
2 |
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
3 |
AuthorDate: Fri May 26 13:50:47 2017 +0000 |
4 |
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri May 26 13:52:58 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e099a1ee |
7 |
|
8 |
dev-ml/zarith: Bump to 1.5 |
9 |
|
10 |
Package-Manager: Portage-2.3.6, Repoman-2.3.2 |
11 |
|
12 |
dev-ml/zarith/Manifest | 1 + |
13 |
dev-ml/zarith/metadata.xml | 3 +++ |
14 |
dev-ml/zarith/zarith-1.5.ebuild | 48 +++++++++++++++++++++++++++++++++++++++++ |
15 |
3 files changed, 52 insertions(+) |
16 |
|
17 |
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest |
18 |
index 3f2ab4bf9e7..f4ded9b4cc6 100644 |
19 |
--- a/dev-ml/zarith/Manifest |
20 |
+++ b/dev-ml/zarith/Manifest |
21 |
@@ -1 +1,2 @@ |
22 |
DIST zarith-1.4.1.tgz 88831 SHA256 23b6c140aad25385bb0b862b9b9fe8a5c6e6f608d0fac7a688aaede5ea876650 SHA512 ef6717e3b6c19ef94fb0e02eb33b1d9f2b2103a9fe0334cb89b01b344ee953fbeeaed8a75b17daa32760faaf93d582e6778ae50e59e9cf878663f2ecba1d5659 WHIRLPOOL 51fc093160ccd5b26282dc1e4f0da223cf0de49c357d560c45bf839ae1dadc53968b117f6ecb96da722fcda2c669ececbd6ca3fab61c71059f37764bfc602888 |
23 |
+DIST zarith-1.5.tar.gz 89211 SHA256 b1d7b7394267a40c933d387131004cf0bc0dbdaea7a981fce865e1ae5d12e40b SHA512 4e616b8cc81cd83f51696926e598be3bcda0bb5999db3cf42dd627cf537320a0216c74eb14c57e57fc21c909df8ef3fb3fa602a7ad633c115d2ee61af5a9fdcd WHIRLPOOL 5f99fc525cd54167f8a6188adf8398003e8728ea9fc04b338dd69a2b0c5cbc943b79b9a5dccc41f7e24a62b00ed9900843a8eca124ab652f6c99240d6620bbdb |
24 |
|
25 |
diff --git a/dev-ml/zarith/metadata.xml b/dev-ml/zarith/metadata.xml |
26 |
index 81a16c82524..1e2b411522c 100644 |
27 |
--- a/dev-ml/zarith/metadata.xml |
28 |
+++ b/dev-ml/zarith/metadata.xml |
29 |
@@ -8,4 +8,7 @@ |
30 |
<use> |
31 |
<flag name="mpir">Use MPIR library instead of GMP.</flag> |
32 |
</use> |
33 |
+ <upstream> |
34 |
+ <remote-id type="github">ocaml/Zarith</remote-id> |
35 |
+ </upstream> |
36 |
</pkgmetadata> |
37 |
|
38 |
diff --git a/dev-ml/zarith/zarith-1.5.ebuild b/dev-ml/zarith/zarith-1.5.ebuild |
39 |
new file mode 100644 |
40 |
index 00000000000..fcb766936ac |
41 |
--- /dev/null |
42 |
+++ b/dev-ml/zarith/zarith-1.5.ebuild |
43 |
@@ -0,0 +1,48 @@ |
44 |
+# Copyright 1999-2017 Gentoo Foundation |
45 |
+# Distributed under the terms of the GNU General Public License v2 |
46 |
+ |
47 |
+EAPI=5 |
48 |
+ |
49 |
+inherit findlib eutils toolchain-funcs |
50 |
+ |
51 |
+DESCRIPTION="Arithmetic and logic operations over arbitrary-precision integers" |
52 |
+HOMEPAGE="https://github.com/ocaml/Zarith" |
53 |
+SRC_URI="https://github.com/ocaml/Zarith/archive/release-${PV}.tar.gz -> ${P}.tar.gz" |
54 |
+ |
55 |
+LICENSE="LGPL-2.1-with-linking-exception" |
56 |
+SLOT="0/${PV}" |
57 |
+KEYWORDS="~amd64 ~x86" |
58 |
+IUSE="doc mpir +ocamlopt" |
59 |
+ |
60 |
+RDEPEND=" |
61 |
+ >=dev-lang/ocaml-4:=[ocamlopt?] |
62 |
+ !mpir? ( dev-libs/gmp:0= ) |
63 |
+ mpir? ( sci-libs/mpir )" |
64 |
+ |
65 |
+DEPEND="${RDEPEND} dev-lang/perl" |
66 |
+ |
67 |
+S="${WORKDIR}/Zarith-release-${PV}" |
68 |
+ |
69 |
+src_configure() { |
70 |
+ tc-export CC |
71 |
+ ./configure -host "${CHOST}" \ |
72 |
+ -ocamllibdir "/usr/$(get_libdir)" \ |
73 |
+ -installdir "${ED}/usr/$(get_libdir)/ocaml" \ |
74 |
+ $(usex mpir "-mpir" "-gmp") || die |
75 |
+} |
76 |
+ |
77 |
+src_compile() { |
78 |
+ emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) all |
79 |
+ use doc && emake doc |
80 |
+} |
81 |
+ |
82 |
+src_test() { |
83 |
+ emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) tests |
84 |
+} |
85 |
+ |
86 |
+src_install() { |
87 |
+ findlib_src_preinst |
88 |
+ emake HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) install |
89 |
+ dodoc Changes README.md |
90 |
+ use doc && dohtml html/* |
91 |
+} |