[gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/

["Alexis Ballier" <aballier@gentoo.org>]

commit:     674ba3f727565f42d6b1da5242c06f9980e28bd9
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 22 10:24:33 2016 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Mar 22 10:55:35 2016 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=674ba3f7

dev-ml/incremental_kernel: initial import; ebuild by me

Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier <aballier <AT> gentoo.org>

 dev-ml/incremental_kernel/Manifest                 |  1 +
 .../incremental_kernel-113.33.00.ebuild            | 49 ++++++++++++++++++++++
 dev-ml/incremental_kernel/metadata.xml             |  8 ++++
 3 files changed, 58 insertions(+)

diff --git a/dev-ml/incremental_kernel/Manifest b/dev-ml/incremental_kernel/Manifest
new file mode 100644
index 0000000..06bb76f
--- /dev/null
+++ b/dev-ml/incremental_kernel/Manifest
@@ -0,0 +1 @@
+DIST incremental_kernel-113.33.00.tar.gz 112965 SHA256 ada5dfa4a37b3eb11f85c7e38dad8eabab91db13346446b441c332218b921d6c SHA512 67a517eace7fe435fee7a0912720ad2b8f1fab587d1a2bdd8e9d3316044dfe0923ef1bf20aca7d8305260f0c18f3a401293dc8026cd9eb69f994d003bb36563f WHIRLPOOL 0bf8ba0d272608df287cd0fe08c308a4885fd4ec664fd3da2aaf6b1153d7c9b904ed9542e1048748fe557cfcef7cc970c57fb14004fc63a7f4cc5de782296d83

diff --git a/dev-ml/incremental_kernel/incremental_kernel-113.33.00.ebuild b/dev-ml/incremental_kernel/incremental_kernel-113.33.00.ebuild
new file mode 100644
index 0000000..f4fe099
--- /dev/null
+++ b/dev-ml/incremental_kernel/incremental_kernel-113.33.00.ebuild
@@ -0,0 +1,49 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+inherit oasis
+
+DESCRIPTION="Library for incremental computations depending only on Core_kernel"
+HOMEPAGE="http://www.janestreet.com/ocaml"
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+	dev-ml/bin-prot:=
+	>=dev-ml/core_kernel-113.33:=
+	dev-ml/fieldslib:=
+	dev-ml/ppx_assert:=
+	dev-ml/ppx_bench:=
+	dev-ml/ppx_expect:=
+	dev-ml/ppx_inline_test:=
+	dev-ml/ppx_jane:=
+	dev-ml/sexplib:=
+	dev-ml/typerep:=
+	dev-ml/variantslib:=
+"
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND} dev-ml/opam"
+
+src_configure() {
+	emake setup.exe
+	OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
+}
+
+src_compile() {
+	emake
+}
+
+src_install() {
+	opam-installer -i \
+		--prefix="${ED}/usr" \
+		--libdir="${D}/$(ocamlc -where)" \
+		--docdir="${ED}/usr/share/doc/${PF}" \
+		${PN}.install || die
+}

diff --git a/dev-ml/incremental_kernel/metadata.xml b/dev-ml/incremental_kernel/metadata.xml
new file mode 100644
index 0000000..ffac4d7
--- /dev/null
+++ b/dev-ml/incremental_kernel/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>