public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alexis Ballier" <aballier@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/
Date: Mon, 30 Jan 2017 22:55:33 +0000 (UTC)	[thread overview]
Message-ID: <1485815454.9f93f51dbfe1ba330207cf825768c33cafa46091.aballier@gentoo> (raw)

commit:     9f93f51dbfe1ba330207cf825768c33cafa46091
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon Jan 30 22:30:54 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Mon Jan 30 22:30:54 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9f93f51d

dev-ml/incremental_kernel: bump to 113.33.03

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/incremental_kernel/Manifest                 |  1 +
 .../incremental_kernel-113.33.03.ebuild            | 49 ++++++++++++++++++++++
 2 files changed, 50 insertions(+)

diff --git a/dev-ml/incremental_kernel/Manifest b/dev-ml/incremental_kernel/Manifest
index 06bb76f..2384f6a 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 00000000..4f67ea9
--- /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
+}


             reply	other threads:[~2017-01-30 22:55 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-01-30 22:55 Alexis Ballier [this message]
  -- strict thread matches above, loose matches on Subject: below --
2017-04-06 12:33 [gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/ Alexis Ballier
2017-04-02  8:38 Alexis Ballier
2016-03-22 10:56 Alexis Ballier

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1485815454.9f93f51dbfe1ba330207cf825768c33cafa46091.aballier@gentoo \
    --to=aballier@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox