summaryrefslogtreecommitdiff
path: root/dev-ml/result
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/result')
-rw-r--r--dev-ml/result/Manifest3
-rw-r--r--dev-ml/result/metadata.xml11
-rw-r--r--dev-ml/result/result-1.2.ebuild28
3 files changed, 42 insertions, 0 deletions
diff --git a/dev-ml/result/Manifest b/dev-ml/result/Manifest
new file mode 100644
index 000000000000..85e8a20db006
--- /dev/null
+++ b/dev-ml/result/Manifest
@@ -0,0 +1,3 @@
+DIST result-1.2.tar.gz 2100 BLAKE2B 9c746c85200ad6af1014dbc4959347b19f48f24448fb36a33b0b50f8d3d8cf4536f7ea3e994953d29122c8dafe87289707eeab67f7a0dc44d0bc509715169e79 SHA512 b47fe24302182642c7dfb3329a9a475518fca01ed7080fb625379abbb7ada0bec4a27e666886c101ba4b0083eeb6312740d99ef764690d38ee6e6d8960fc9b87
+EBUILD result-1.2.ebuild 563 BLAKE2B a8b4d1bee26726d7b7a32c572309971d9be669bf84c82fecd42721579208c1034585e02bd9ecc510601ad1303655eb015269a627a014c374dac703a869f20b01 SHA512 f413b92901bdf028cdfea175326f331a2664a560ccd4bb0ee7dff922ec8c85fbc1d122abe06b090b29daab0bb2bd876b8f0fc327ee733317a89a0c6d6b706d69
+MISC metadata.xml 329 BLAKE2B 2796d8340c435b0f89706c8e15d8594c5b5083a815e6f51c1bfec854ee7865e965cb73b82f57b2055107f13069f026563b7632754a94c16492ffa5e5e9e67a04 SHA512 4ea5b500ba6410169ab994f54a207ba964ca2dbbfb61462ecf087760f54833fb35b8c1f73237c2ec918b08d46550103fea0f33b3348dee4c8a88dca52f751649
diff --git a/dev-ml/result/metadata.xml b/dev-ml/result/metadata.xml
new file mode 100644
index 000000000000..2246b0f460c5
--- /dev/null
+++ b/dev-ml/result/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/result</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/result/result-1.2.ebuild b/dev-ml/result/result-1.2.ebuild
new file mode 100644
index 000000000000..8c8cb8d1cd21
--- /dev/null
+++ b/dev-ml/result/result-1.2.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit findlib
+
+DESCRIPTION="Compat result type"
+HOMEPAGE="https://github.com/janestreet/result"
+SRC_URI="https://github.com/janestreet/result/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
+DEPEND="${RDEPEND}"
+
+src_compile() {
+ emake byte
+ use ocamlopt && emake native
+}
+
+src_install() {
+ findlib_src_install
+ dodoc README.md
+}