Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/rresult/
Date: Tue, 20 Jun 2017 21:33:45
Message-Id: 1497993748.4a66c2b46db0302f432cc347cdefbc19a409ddd8.aballier@gentoo
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 +}