summaryrefslogtreecommitdiff
path: root/dev-ml/result
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/result
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/result')
-rw-r--r--dev-ml/result/Manifest4
-rw-r--r--dev-ml/result/metadata.xml11
-rw-r--r--dev-ml/result/result-1.2.ebuild28
3 files changed, 43 insertions, 0 deletions
diff --git a/dev-ml/result/Manifest b/dev-ml/result/Manifest
new file mode 100644
index 000000000000..e530c1663c7b
--- /dev/null
+++ b/dev-ml/result/Manifest
@@ -0,0 +1,4 @@
+DIST result-1.2.tar.gz 2100 SHA256 7cf7909f902994dc885ceae1983e4cda3665914c774f774604d076b89f76f7dd SHA512 b47fe24302182642c7dfb3329a9a475518fca01ed7080fb625379abbb7ada0bec4a27e666886c101ba4b0083eeb6312740d99ef764690d38ee6e6d8960fc9b87 WHIRLPOOL 191ed7f9f54f2483c971ae9a84e07d797a060bc808cb1f8522294129f401482984fb424e0e8f85d13863cfd359b18e10279075fec92d15961eaeb326ec8d0d43
+EBUILD result-1.2.ebuild 563 SHA256 29fc5a593d6f68336d104c7f7efd0b0771cfe9e6f1e004e46fd0169ee4fd234d SHA512 f413b92901bdf028cdfea175326f331a2664a560ccd4bb0ee7dff922ec8c85fbc1d122abe06b090b29daab0bb2bd876b8f0fc327ee733317a89a0c6d6b706d69 WHIRLPOOL ef2554977753fa6483cde9fc668b99828da3f0229b03b1f654144a953a93ec565fad011af6df6c38d39f6ea712e3f379a7c5429d326ffdf514e97df2d19f6ec4
+MISC ChangeLog 370 SHA256 d00676bd1654b543f5204a85386bf731179b2dd307e13a6d02ca45a7e271c772 SHA512 96d3225c9c5915ab73adb43d2e184f28ad56845eab8406efd4efe99dbd5bc3e1ee53cbb3d47dcfadc8393e087b063e4edd7709ad8ec375bdd03594ddb4369d01 WHIRLPOOL 9f41c0b976e9d1e1b06f2fd690a6057c9185d363edf2adda8dae750109e0cb232a00f12af0f5a3e5d801272b60fe0294dd62d3b0c7513b31b30f500b4c1b8f77
+MISC metadata.xml 329 SHA256 61cc883e07ecad53ea3e59f313b19445697325957f4f4f7699ae8ab2643a9f2c SHA512 4ea5b500ba6410169ab994f54a207ba964ca2dbbfb61462ecf087760f54833fb35b8c1f73237c2ec918b08d46550103fea0f33b3348dee4c8a88dca52f751649 WHIRLPOOL 7411065e2a79237ac67bb7d9d9a2c0e27c87402e73aabaa4b19b5aca6224ab0257aabbf46b6c213170cc99d4c4001fd9ee92f50f0a4031b37bfd1d88f61c3848
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
+}