Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/
Date: Mon, 30 Jan 2017 22:55:54
Message-Id: 1485815454.9f93f51dbfe1ba330207cf825768c33cafa46091.aballier@gentoo
1 commit: 9f93f51dbfe1ba330207cf825768c33cafa46091
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Mon Jan 30 22:30:54 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Mon Jan 30 22:30:54 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9f93f51d
7
8 dev-ml/incremental_kernel: bump to 113.33.03
9
10 Package-Manager: Portage-2.3.3, Repoman-2.3.1
11
12 dev-ml/incremental_kernel/Manifest | 1 +
13 .../incremental_kernel-113.33.03.ebuild | 49 ++++++++++++++++++++++
14 2 files changed, 50 insertions(+)
15
16 diff --git a/dev-ml/incremental_kernel/Manifest b/dev-ml/incremental_kernel/Manifest
17 index 06bb76f..2384f6a 100644
18 --- a/dev-ml/incremental_kernel/Manifest
19 +++ b/dev-ml/incremental_kernel/Manifest
20 @@ -1 +1,2 @@
21 DIST incremental_kernel-113.33.00.tar.gz 112965 SHA256 ada5dfa4a37b3eb11f85c7e38dad8eabab91db13346446b441c332218b921d6c SHA512 67a517eace7fe435fee7a0912720ad2b8f1fab587d1a2bdd8e9d3316044dfe0923ef1bf20aca7d8305260f0c18f3a401293dc8026cd9eb69f994d003bb36563f WHIRLPOOL 0bf8ba0d272608df287cd0fe08c308a4885fd4ec664fd3da2aaf6b1153d7c9b904ed9542e1048748fe557cfcef7cc970c57fb14004fc63a7f4cc5de782296d83
22 +DIST incremental_kernel-113.33.03.tar.gz 111566 SHA256 bb307477646a63651b36f4c125d7d94a5809aaf4107a5cec16930f463fe67af9 SHA512 5a73a394147495ffdadc877e574d2d795097b173198fd0137333c27426de308b66178f2f969833e18d865c8971910685f1fdb7c7fd13b758084566550d68bb7d WHIRLPOOL e9cf93299d53760c0324ba81b12c0afa743bf2300c7a0bcb143826b8c667580e12fcfa0d436cd4c3ea288aac32706b6c2de249db50db00a5bbf6511296801cc8
23
24 diff --git a/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild b/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild
25 new file mode 100644
26 index 00000000..4f67ea9
27 --- /dev/null
28 +++ b/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild
29 @@ -0,0 +1,49 @@
30 +# Copyright 1999-2017 Gentoo Foundation
31 +# Distributed under the terms of the GNU General Public License v2
32 +# $Id$
33 +
34 +EAPI="5"
35 +
36 +inherit oasis
37 +
38 +DESCRIPTION="Library for incremental computations depending only on Core_kernel"
39 +HOMEPAGE="http://www.janestreet.com/ocaml"
40 +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
41 +
42 +LICENSE="Apache-2.0"
43 +SLOT="0/${PV}"
44 +KEYWORDS="~amd64"
45 +IUSE=""
46 +
47 +DEPEND="
48 + dev-ml/bin-prot:=
49 + >=dev-ml/core_kernel-113.33:=
50 + dev-ml/fieldslib:=
51 + dev-ml/ppx_assert:=
52 + dev-ml/ppx_bench:=
53 + dev-ml/ppx_expect:=
54 + dev-ml/ppx_inline_test:=
55 + dev-ml/ppx_jane:=
56 + dev-ml/sexplib:=
57 + dev-ml/typerep:=
58 + dev-ml/variantslib:=
59 +"
60 +RDEPEND="${DEPEND}"
61 +DEPEND="${DEPEND} dev-ml/opam"
62 +
63 +src_configure() {
64 + emake setup.exe
65 + OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
66 +}
67 +
68 +src_compile() {
69 + emake
70 +}
71 +
72 +src_install() {
73 + opam-installer -i \
74 + --prefix="${ED}/usr" \
75 + --libdir="${D}/$(ocamlc -where)" \
76 + --docdir="${ED}/usr/share/doc/${PF}" \
77 + ${PN}.install || die
78 +}