1 |
commit: 4a66c2b46db0302f432cc347cdefbc19a409ddd8 |
2 |
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Jun 20 21:22:28 2017 +0000 |
4 |
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Jun 20 21:22:28 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a66c2b4 |
7 |
|
8 |
dev-ml/rresult: initial import |
9 |
|
10 |
Package-Manager: Portage-2.3.6, Repoman-2.3.2 |
11 |
|
12 |
dev-ml/rresult/Manifest | 1 + |
13 |
dev-ml/rresult/metadata.xml | 11 +++++++++++ |
14 |
dev-ml/rresult/rresult-0.5.0.ebuild | 34 ++++++++++++++++++++++++++++++++++ |
15 |
3 files changed, 46 insertions(+) |
16 |
|
17 |
diff --git a/dev-ml/rresult/Manifest b/dev-ml/rresult/Manifest |
18 |
new file mode 100644 |
19 |
index 00000000000..8fbf19d9866 |
20 |
--- /dev/null |
21 |
+++ b/dev-ml/rresult/Manifest |
22 |
@@ -0,0 +1 @@ |
23 |
+DIST rresult-0.5.0.tbz 9185 SHA256 15faf4a755eb7df876e9cb77e608a98fcb4eabd023450e77ba082bd86067bef7 SHA512 45787b61adb7daedf72e4ff632cf3d4917bccb3e83613dabf93437982887d9a0ed3b6cbefb2b17cb341a825346cb0609286df581c6ff379583dc83672ee25efc WHIRLPOOL c4088aa525ad6b9154aa62268503b8e4a6d497dbfd0aa68ef2dff0368c9d53410d6729451558431c15418dd66e1c2d5905e4a92a99b9cbfb235243ee3e683b3e |
24 |
|
25 |
diff --git a/dev-ml/rresult/metadata.xml b/dev-ml/rresult/metadata.xml |
26 |
new file mode 100644 |
27 |
index 00000000000..bd8c75be2de |
28 |
--- /dev/null |
29 |
+++ b/dev-ml/rresult/metadata.xml |
30 |
@@ -0,0 +1,11 @@ |
31 |
+<?xml version="1.0" encoding="UTF-8"?> |
32 |
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
33 |
+<pkgmetadata> |
34 |
+<maintainer type="project"> |
35 |
+ <email>ml@g.o</email> |
36 |
+ <name>Gentoo ML Project</name> |
37 |
+</maintainer> |
38 |
+ <upstream> |
39 |
+ <remote-id type="github">dbuenzli/rresult</remote-id> |
40 |
+ </upstream> |
41 |
+</pkgmetadata> |
42 |
|
43 |
diff --git a/dev-ml/rresult/rresult-0.5.0.ebuild b/dev-ml/rresult/rresult-0.5.0.ebuild |
44 |
new file mode 100644 |
45 |
index 00000000000..5078c39a985 |
46 |
--- /dev/null |
47 |
+++ b/dev-ml/rresult/rresult-0.5.0.ebuild |
48 |
@@ -0,0 +1,34 @@ |
49 |
+# Copyright 1999-2017 Gentoo Foundation |
50 |
+# Distributed under the terms of the GNU General Public License v2 |
51 |
+ |
52 |
+EAPI=6 |
53 |
+ |
54 |
+DESCRIPTION="Result value combinators for OCaml" |
55 |
+HOMEPAGE="http://erratique.ch/software/rresult https://github.com/dbuenzli/rresult" |
56 |
+SRC_URI="http://erratique.ch/software/rresult/releases/${P}.tbz" |
57 |
+ |
58 |
+LICENSE="ISC" |
59 |
+SLOT="0/${PV}" |
60 |
+KEYWORDS="~amd64" |
61 |
+IUSE="" |
62 |
+ |
63 |
+RDEPEND=" |
64 |
+ dev-lang/ocaml:= |
65 |
+ dev-ml/result:= |
66 |
+" |
67 |
+DEPEND="${RDEPEND} |
68 |
+ dev-ml/topkg |
69 |
+ dev-ml/opam |
70 |
+ dev-ml/ocamlbuild" |
71 |
+ |
72 |
+src_compile() { |
73 |
+ ocaml pkg/pkg.ml build || die |
74 |
+} |
75 |
+ |
76 |
+src_install() { |
77 |
+ opam-installer -i \ |
78 |
+ --prefix="${ED}/usr" \ |
79 |
+ --libdir="${D}/$(ocamlc -where)" \ |
80 |
+ --docdir="${ED}/usr/share/doc/${PF}" \ |
81 |
+ ${PN}.install || die |
82 |
+} |