summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-03-22 11:21:40 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-03-22 11:55:32 +0100
commitcb3456e5d3fbc0439e58ab6cf050260f60cedc79 (patch)
treeb31b935f63fe8104bfaf33568253773e7824d845 /dev-ml/result
parentdev-python/cryptography-vectors: ia64 stable wrt bug #574150 (diff)
downloadgentoo-cb3456e5d3fbc0439e58ab6cf050260f60cedc79.tar.gz
gentoo-cb3456e5d3fbc0439e58ab6cf050260f60cedc79.tar.bz2
gentoo-cb3456e5d3fbc0439e58ab6cf050260f60cedc79.zip
dev-ml/result: initial import; ebuild by me
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/result')
-rw-r--r--dev-ml/result/Manifest1
-rw-r--r--dev-ml/result/metadata.xml8
-rw-r--r--dev-ml/result/result-1.2.ebuild29
3 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/result/Manifest b/dev-ml/result/Manifest
new file mode 100644
index 000000000000..efb3d2467a0b
--- /dev/null
+++ b/dev-ml/result/Manifest
@@ -0,0 +1 @@
+DIST result-1.2.tar.gz 2100 SHA256 7cf7909f902994dc885ceae1983e4cda3665914c774f774604d076b89f76f7dd SHA512 b47fe24302182642c7dfb3329a9a475518fca01ed7080fb625379abbb7ada0bec4a27e666886c101ba4b0083eeb6312740d99ef764690d38ee6e6d8960fc9b87 WHIRLPOOL 191ed7f9f54f2483c971ae9a84e07d797a060bc808cb1f8522294129f401482984fb424e0e8f85d13863cfd359b18e10279075fec92d15961eaeb326ec8d0d43
diff --git a/dev-ml/result/metadata.xml b/dev-ml/result/metadata.xml
new file mode 100644
index 000000000000..ffac4d7ebc01
--- /dev/null
+++ b/dev-ml/result/metadata.xml
@@ -0,0 +1,8 @@
+<?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>
+</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..4b8085ae52b7
--- /dev/null
+++ b/dev-ml/result/result-1.2.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+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"
+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
+}