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>[email protected]</email> + <name>Gentoo ML Project</name> +</maintainer> +</pkgmetadata>
