1 |
commit: 0849f2d4192c441bdd07a752b02c780b5a8b3022 |
2 |
Author: Jason A. Donenfeld <zx2c4 <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Jan 7 20:54:51 2020 +0000 |
4 |
Commit: Jason A. Donenfeld <zx2c4 <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Jan 7 21:00:55 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0849f2d4 |
7 |
|
8 |
dev-ml/num: add for newer ocaml + coq |
9 |
|
10 |
Fixes: https://bugs.gentoo.org/704928 |
11 |
Package-Manager: Portage-2.3.84, Repoman-2.3.20 |
12 |
Signed-off-by: Jason A. Donenfeld <zx2c4 <AT> gentoo.org> |
13 |
|
14 |
dev-ml/num/Manifest | 1 + |
15 |
dev-ml/num/metadata.xml | 5 +++++ |
16 |
dev-ml/num/num-1.3.ebuild | 24 ++++++++++++++++++++++++ |
17 |
3 files changed, 30 insertions(+) |
18 |
|
19 |
diff --git a/dev-ml/num/Manifest b/dev-ml/num/Manifest |
20 |
new file mode 100644 |
21 |
index 00000000000..944b4079b5a |
22 |
--- /dev/null |
23 |
+++ b/dev-ml/num/Manifest |
24 |
@@ -0,0 +1 @@ |
25 |
+DIST num-1.3.tar.gz 66251 BLAKE2B d6fde246693c8aef3b881a4ebc2b601392e0f0bf561dc4f4d32a5e1f835a5186deba3ffa77c88c6c05cd6e837dc836567fcabffefae99ce1ccae94e1bdfc849a SHA512 c88310f8c45700990095e6b2e9abf24c27347711b9abfd1dde75e540fbbfc6a365e6713bd69f66009af305728fcb36dc61eb37fdd0be7d73824b0e92fbe8c031 |
26 |
|
27 |
diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml |
28 |
new file mode 100644 |
29 |
index 00000000000..bca0744b282 |
30 |
--- /dev/null |
31 |
+++ b/dev-ml/num/metadata.xml |
32 |
@@ -0,0 +1,5 @@ |
33 |
+<?xml version="1.0" encoding="UTF-8"?> |
34 |
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
35 |
+<pkgmetadata> |
36 |
+ <!-- maintainer-needed --> |
37 |
+</pkgmetadata> |
38 |
|
39 |
diff --git a/dev-ml/num/num-1.3.ebuild b/dev-ml/num/num-1.3.ebuild |
40 |
new file mode 100644 |
41 |
index 00000000000..930c8cb5166 |
42 |
--- /dev/null |
43 |
+++ b/dev-ml/num/num-1.3.ebuild |
44 |
@@ -0,0 +1,24 @@ |
45 |
+# Copyright 2020 Gentoo Authors |
46 |
+# Distributed under the terms of the GNU General Public License v2 |
47 |
+ |
48 |
+EAPI=7 |
49 |
+ |
50 |
+inherit multilib findlib |
51 |
+ |
52 |
+DESCRIPTION="Library for arbitrary-precision integer and rational arithmetic" |
53 |
+HOMEPAGE="https://github.com/ocaml/num" |
54 |
+SRC_URI="https://github.com/ocaml/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" |
55 |
+ |
56 |
+LICENSE="LGPL-2.1-with-linking-exception" |
57 |
+SLOT="0" |
58 |
+KEYWORDS="~amd64 ~x86" |
59 |
+IUSE="" |
60 |
+ |
61 |
+DEPEND="dev-lang/ocaml" |
62 |
+RDEPEND="${DEPEND}" |
63 |
+BDEPEND="${DEPEND}" |
64 |
+ |
65 |
+src_install() { |
66 |
+ findlib_src_preinst |
67 |
+ OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}" |
68 |
+} |