* [gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/
@ 2016-03-22 10:56 Alexis Ballier
0 siblings, 0 replies; 4+ messages in thread
From: Alexis Ballier @ 2016-03-22 10:56 UTC (permalink / raw
To: gentoo-commits
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>
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/
@ 2017-01-30 22:55 Alexis Ballier
0 siblings, 0 replies; 4+ messages in thread
From: Alexis Ballier @ 2017-01-30 22:55 UTC (permalink / raw
To: gentoo-commits
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
+}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/
@ 2017-04-02 8:38 Alexis Ballier
0 siblings, 0 replies; 4+ messages in thread
From: Alexis Ballier @ 2017-04-02 8:38 UTC (permalink / raw
To: gentoo-commits
commit: 45aa11a3a4362adf0abcbfb4a7877b6fb2eff404
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 1 16:35:27 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Sun Apr 2 08:37:55 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=45aa11a3
dev-ml/incremental_kernel: Bump to 0.9.0
Package-Manager: Portage-2.3.5, Repoman-2.3.2
dev-ml/incremental_kernel/Manifest | 3 +-
.../incremental_kernel-0.9.0.ebuild | 31 ++++++++++++++
.../incremental_kernel-113.33.00.ebuild | 48 ----------------------
.../incremental_kernel-113.33.03.ebuild | 48 ----------------------
4 files changed, 32 insertions(+), 98 deletions(-)
diff --git a/dev-ml/incremental_kernel/Manifest b/dev-ml/incremental_kernel/Manifest
index 2384f6a5d5b..971c67eddeb 100644
--- a/dev-ml/incremental_kernel/Manifest
+++ b/dev-ml/incremental_kernel/Manifest
@@ -1,2 +1 @@
-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
+DIST incremental_kernel-0.9.0.tar.gz 74255 SHA256 9da22c1f127b0fd767083204a000b18dc791bac124f7caef73f64e568b14b063 SHA512 e6e7abb736e838ef373153e0678965ad3b599cfe34299a3f2131b5afa198a1991b043be75ef348d0010f7b85babd407cbedca84efc43fa51b3abb016d721c52d WHIRLPOOL 29ec1f9f68d4cfce925e95e49fa31eb2d12913b1023ac8a6459ce21907ae7b95eac4e0e9c6fe21cba4987da328f0deb5a2e86aebdac5883e402f9ca84babd5dc
diff --git a/dev-ml/incremental_kernel/incremental_kernel-0.9.0.ebuild b/dev-ml/incremental_kernel/incremental_kernel-0.9.0.ebuild
new file mode 100644
index 00000000000..02e5cc7be79
--- /dev/null
+++ b/dev-ml/incremental_kernel/incremental_kernel-0.9.0.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Library for incremental computations depending only on Core_kernel"
+HOMEPAGE="https://github.com/janestreet/incremental_kernel"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+ dev-lang/ocaml:=
+ dev-ml/core_kernel:=
+ dev-ml/ppx_driver:=
+ dev-ml/ppx_jane:=
+ dev-ml/ocaml-migrate-parsetree:=
+"
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder"
+
+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/incremental_kernel-113.33.00.ebuild b/dev-ml/incremental_kernel/incremental_kernel-113.33.00.ebuild
deleted file mode 100644
index 9cbfde2b130..00000000000
--- a/dev-ml/incremental_kernel/incremental_kernel-113.33.00.ebuild
+++ /dev/null
@@ -1,48 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-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/incremental_kernel-113.33.03.ebuild b/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild
deleted file mode 100644
index 12fbb93e5ca..00000000000
--- a/dev-ml/incremental_kernel/incremental_kernel-113.33.03.ebuild
+++ /dev/null
@@ -1,48 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-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
-}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/
@ 2017-04-06 12:33 Alexis Ballier
0 siblings, 0 replies; 4+ messages in thread
From: Alexis Ballier @ 2017-04-06 12:33 UTC (permalink / raw
To: gentoo-commits
commit: f150c430584693d7c033950cad2a128afdbebbf5
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Thu Apr 6 12:33:28 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Thu Apr 6 12:33:28 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f150c430
dev-ml/incremental_kernel: Force "upgrade" on ppx_jane/ppx_driver, bug #614578
Package-Manager: Portage-2.3.5, Repoman-2.3.2
dev-ml/incremental_kernel/incremental_kernel-0.9.0.ebuild | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dev-ml/incremental_kernel/incremental_kernel-0.9.0.ebuild b/dev-ml/incremental_kernel/incremental_kernel-0.9.0.ebuild
index 02e5cc7be79..051daef8f83 100644
--- a/dev-ml/incremental_kernel/incremental_kernel-0.9.0.ebuild
+++ b/dev-ml/incremental_kernel/incremental_kernel-0.9.0.ebuild
@@ -18,6 +18,8 @@ DEPEND="
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
dev-ml/ocaml-migrate-parsetree:=
+ <dev-ml/ppx_jane-100
+ <dev-ml/ppx_driver-100
"
RDEPEND="${DEPEND}"
DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder"
^ permalink raw reply related [flat|nested] 4+ messages in thread
end of thread, other threads:[~2017-04-06 12:33 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-03-22 10:56 [gentoo-commits] repo/gentoo:master commit in: dev-ml/incremental_kernel/ Alexis Ballier
-- strict thread matches above, loose matches on Subject: below --
2017-01-30 22:55 Alexis Ballier
2017-04-02 8:38 Alexis Ballier
2017-04-06 12:33 Alexis Ballier
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox