diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-01-30 23:30:54 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-01-30 23:30:54 +0100 |
| commit | 9f93f51dbfe1ba330207cf825768c33cafa46091 (patch) | |
| tree | b4aff4bd6ed5b9dfa2e3f363e73b64144f7c2035 /dev-ml | |
| parent | dev-ml/js-build-tools: bump to 113.33.06 (diff) | |
| download | gentoo-9f93f51dbfe1ba330207cf825768c33cafa46091.tar.gz gentoo-9f93f51dbfe1ba330207cf825768c33cafa46091.tar.bz2 gentoo-9f93f51dbfe1ba330207cf825768c33cafa46091.zip | |
dev-ml/incremental_kernel: bump to 113.33.03
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/incremental_kernel/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild | 49 |
2 files changed, 50 insertions, 0 deletions
diff --git a/dev-ml/incremental_kernel/Manifest b/dev-ml/incremental_kernel/Manifest index 06bb76f242b2..2384f6a5d5b8 100644 --- a/dev-ml/incremental_kernel/Manifest +++ b/dev-ml/incremental_kernel/Manifest @@ -1 +1,2 @@ DIST incremental_kernel-113.33.00.tar.gz 112965 SHA256 ada5dfa4a37b3eb11f85c7e38dad8eabab91db13346446b441c332218b921d6c SHA512 67a517eace7fe435fee7a0912720ad2b8f1fab587d1a2bdd8e9d3316044dfe0923ef1bf20aca7d8305260f0c18f3a401293dc8026cd9eb69f994d003bb36563f WHIRLPOOL 0bf8ba0d272608df287cd0fe08c308a4885fd4ec664fd3da2aaf6b1153d7c9b904ed9542e1048748fe557cfcef7cc970c57fb14004fc63a7f4cc5de782296d83 +DIST incremental_kernel-113.33.03.tar.gz 111566 SHA256 bb307477646a63651b36f4c125d7d94a5809aaf4107a5cec16930f463fe67af9 SHA512 5a73a394147495ffdadc877e574d2d795097b173198fd0137333c27426de308b66178f2f969833e18d865c8971910685f1fdb7c7fd13b758084566550d68bb7d WHIRLPOOL e9cf93299d53760c0324ba81b12c0afa743bf2300c7a0bcb143826b8c667580e12fcfa0d436cd4c3ea288aac32706b6c2de249db50db00a5bbf6511296801cc8 diff --git a/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild b/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild new file mode 100644 index 000000000000..4f67ea9085b8 --- /dev/null +++ b/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild @@ -0,0 +1,49 @@ +# Copyright 1999-2017 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 +} |