[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-07-02 Thread Alfredo Tupone
commit: 2796109708c6f26ef9fcefdbb3ea04a2c45f9bb0
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Jul  2 07:03:36 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Jul  2 07:22:08 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=27961097

dev-ml/core: add 0.16.1

Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/Manifest   |  1 +
 dev-ml/core/core-0.16.1.ebuild | 43 ++
 2 files changed, 44 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 9f7a0508cba2..144daecced49 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -2,3 +2,4 @@ DIST core-0.14.0.tar.gz 361607 BLAKE2B 
1602857bee142c23101380e6d54b6f8df1be8bb67
 DIST core-0.14.1.tar.gz 361679 BLAKE2B 
ca43016c760e620f9073defd84a07bacaa0557d42fd9a60d6c4c894187671526ae07e0b93d29bee961b3460e1b0ec5cb346cc711d583c71fde94a9bf9992bf7e
 SHA512 
29482b1f611f2f15f11562bfed7f8a47d2926333601ed57867c8c134d4b10dbf2ba0309ceb6ae602fe8bca1e1f9324603dba37a5df3183cd0cb690104817ed3f
 DIST core-0.15.0.tar.gz 522984 BLAKE2B 
b6fdc9d7fe133c504f89ba492e63d090e2ca4e413e96eb8c216213ea358d84ae89ef1d372525b53f701e8076e4e0670ea3535f399f3f735b3b7da383901def09
 SHA512 
a73a3c1c6f0ade9a9e49917bb896e62afc4fda44dd90ffa99ef9ba24debe7166b4fe1b374500a044cad8318d12f250de7fe2dd935015efde379cf91a2241f51b
 DIST core-0.15.1.tar.gz 522517 BLAKE2B 
1dc1245708f392161ce04ab121dfff550f13a8aa75b967bc3c32f474641b455355bbeb63ef1c7492947f46c3391cd877b96a8e35c083d0406135e840647715b2
 SHA512 
2c04fdd989d016faaa2dee4b13372d3e228f0011151ae5f747c1eb6206820a61779a87eb7e2ecc6e1ddf77872a69a07636a93d24df61b4a2ba2a1b745f499b16
+DIST core-0.16.1.tar.gz 542242 BLAKE2B 
ad0b3c1b55b960f040dc0ed82a2c3c19447dfe635d2d25adab63a0ea529867cd6692fe258af3c5896ea63b5438f96b75007b4e2e5ea1d34b3c13936a7b369aeb
 SHA512 
5f9f4400b6e42b74ffd57223cb67884368d324739565bbb20162547ede8bd6d0ece3cc265503b674829f9cf373784e8036d4c73e26e9196aa5446de69b63e181

diff --git a/dev-ml/core/core-0.16.1.ebuild b/dev-ml/core/core-0.16.1.ebuild
new file mode 100644
index ..dc2f2c901b50
--- /dev/null
+++ b/dev-ml/core/core-0.16.1.ebuild
@@ -0,0 +1,43 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="https://github.com/janestreet/core;
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.14
+   dev-ml/base:${SLOT}
+   dev-ml/base_bigstring:${SLOT}
+   dev-ml/base_quickcheck:${SLOT}
+   dev-ml/bin_prot:${SLOT}
+   dev-ml/ppxlib:=
+   dev-ml/ppx_bin_prot:=
+   dev-ml/ppx_bench:=
+   dev-ml/ppx_custom_printf:=
+   dev-ml/ppx_disable_unused_warnings:=
+   dev-ml/ppx_fields_conv:=
+   dev-ml/ppx_fixed_literal:=
+   dev-ml/ppx_let:=
+   dev-ml/ppx_log:=
+   dev-ml/ppx_jane:${SLOT}
+   dev-ml/ppx_module_timer:=
+   dev-ml/ppx_optional:=
+   dev-ml/ppx_pipebang:=
+   dev-ml/ppx_sexp_message:${SLOT}
+   dev-ml/ppx_sexp_value:=
+   dev-ml/ppx_stable:=
+   dev-ml/ppx_string:=
+   dev-ml/ppx_ignore_instrumentation:=
+   dev-ml/typerep:${SLOT}
+"
+DEPEND="${RDEPEND}"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-06-15 Thread Arthur Zamarin
commit: e0b01e7f3256adc3f6216b57fbdb0d5f3d3ebce6
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Thu Jun 15 18:19:30 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Thu Jun 15 18:19:30 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e0b01e7f

dev-ml/core: Keyword 0.15.1-r1 ppc64, #892131

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/core/core-0.15.1-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.15.1-r1.ebuild 
b/dev-ml/core/core-0.15.1-r1.ebuild
index 63b48302d945..b090bc8654f4 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~ppc ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-04-29 Thread Sam James
commit: 97f355728282a9bdc9f7f472196a2585dc457c64
Author: Sam James  gentoo  org>
AuthorDate: Sat Apr 29 21:21:18 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Apr 29 21:21:18 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=97f35572

dev-ml/core: Stabilize 0.15.1-r1 arm, #901599

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.15.1-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.15.1-r1.ebuild 
b/dev-ml/core/core-0.15.1-r1.ebuild
index 78ccf8da6d2a..7037b6e754fa 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~riscv x86"
+KEYWORDS="amd64 arm ~arm64 ~riscv x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-04-29 Thread Sam James
commit: cb627dff38145c033e79f29693e9b2798989b1b9
Author: Sam James  gentoo  org>
AuthorDate: Sat Apr 29 21:21:16 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Apr 29 21:21:16 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cb627dff

dev-ml/core: Stabilize 0.15.1-r1 x86, #901599

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.15.1-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.15.1-r1.ebuild 
b/dev-ml/core/core-0.15.1-r1.ebuild
index d25a98461f40..78ccf8da6d2a 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~riscv x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-04-29 Thread Sam James
commit: ada3305deeb415c543399d4ff25b4c150e9f49c5
Author: Sam James  gentoo  org>
AuthorDate: Sat Apr 29 21:21:19 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Apr 29 21:21:19 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ada3305d

dev-ml/core: Stabilize 0.15.1-r1 arm64, #901599

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.15.1-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.15.1-r1.ebuild 
b/dev-ml/core/core-0.15.1-r1.ebuild
index 7037b6e754fa..cd5553cb4690 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~riscv x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-04-19 Thread Alfredo Tupone
commit: e0aa6b4b8686f7696fc13a9a4ba76fcf5e6f46eb
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Apr 19 20:43:42 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Apr 19 20:43:42 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e0aa6b4b

dev-ml/core: stabilize 0.15.1-r1 for amd64

Bug: https://bugs.gentoo.org/901599
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/core-0.15.1-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.15.1-r1.ebuild 
b/dev-ml/core/core-0.15.1-r1.ebuild
index 42869f95d733..d25a98461f40 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-02-24 Thread Sam James
commit: d6b353193bb7c84ce66ce83cbd2b45b69a13e3ac
Author: Sam James  gentoo  org>
AuthorDate: Fri Feb 24 22:19:28 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Feb 24 22:19:28 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d6b35319

dev-ml/core: Keyword 0.15.1-r1 arm, #892131

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.15.1-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.15.1-r1.ebuild 
b/dev-ml/core/core-0.15.1-r1.ebuild
index 0f78b218b0f9..42869f95d733 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-02-20 Thread Arthur Zamarin
commit: 88acf6efcb750462daf1f9e2fedb59b68c85ab70
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Mon Feb 20 20:26:22 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Mon Feb 20 20:26:22 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=88acf6ef

dev-ml/core: Keyword 0.15.1-r1 x86, #892131

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/core/core-0.15.1-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.15.1-r1.ebuild 
b/dev-ml/core/core-0.15.1-r1.ebuild
index b89bb2efcabb..d2fcb5141fc0 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~riscv"
+KEYWORDS="~amd64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-02-10 Thread Yixun Lan
commit: 0779279164c8dbc50742ed99b608fa740f74a4d6
Author: Yixun Lan  gentoo  org>
AuthorDate: Fri Feb 10 08:22:56 2023 +
Commit: Yixun Lan  gentoo  org>
CommitDate: Fri Feb 10 08:22:56 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=07792791

dev-ml/core: Keyword 0.15.1-r1 riscv, #892131

Signed-off-by: Yixun Lan  gentoo.org>

 dev-ml/core/core-0.15.1-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.15.1-r1.ebuild 
b/dev-ml/core/core-0.15.1-r1.ebuild
index cb9cceda4135..b89bb2efcabb 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-01-28 Thread Alfredo Tupone
commit: 71e9a3baf3323d529498329cd3e8e5151c5279b7
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sat Jan 28 21:11:37 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sat Jan 28 21:22:38 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=71e9a3ba

dev-ml/core: adj deps

Signed-off-by: Alfredo Tupone  gentoo.org>

 .../{core-0.15.1.ebuild => core-0.15.1-r1.ebuild}  | 22 --
 1 file changed, 20 insertions(+), 2 deletions(-)

diff --git a/dev-ml/core/core-0.15.1.ebuild b/dev-ml/core/core-0.15.1-r1.ebuild
similarity index 58%
rename from dev-ml/core/core-0.15.1.ebuild
rename to dev-ml/core/core-0.15.1-r1.ebuild
index 0aecee5161f4..cb9cceda4135 100644
--- a/dev-ml/core/core-0.15.1.ebuild
+++ b/dev-ml/core/core-0.15.1-r1.ebuild
@@ -19,10 +19,28 @@ RESTRICT="test"
 
 RDEPEND="
>=dev-lang/ocaml-4.11
+   >=dev-ml/base-0.15.1:${SLOT}
dev-ml/base_bigstring:${SLOT}
+   dev-ml/base_quickcheck:=
+   dev-ml/bin_prot:=
+   dev-ml/ppxlib:=
+   dev-ml/ppx_bin_prot:=
+   dev-ml/ppx_bench:=
+   dev-ml/ppx_custom_printf:=
+   dev-ml/ppx_disable_unused_warnings:=
+   dev-ml/ppx_fields_conv:=
+   dev-ml/ppx_fixed_literal:=
+   dev-ml/ppx_let:=
+   dev-ml/ppx_log:=
dev-ml/ppx_jane:${SLOT}
+   dev-ml/ppx_module_timer:=
+   dev-ml/ppx_optional:=
dev-ml/ppx_pipebang:=
-   dev-ml/ppxlib:=
-   >=dev-ml/base-0.15.1:${SLOT}
+   dev-ml/ppx_sexp_message:=
+   dev-ml/ppx_sexp_value:=
+   dev-ml/ppx_stable:=
+   dev-ml/ppx_string:=
+   dev-ml/ppx_ignore_instrumentation:=
+   dev-ml/typerep:=
 "
 DEPEND="${RDEPEND}"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-01-27 Thread Alfredo Tupone
commit: 306da5f01b6cc999c1ca6cbf4369e25d47119874
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Jan 27 20:41:51 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Jan 27 21:59:47 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=306da5f0

dev-ml/core: add 0.15.1

Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/Manifest   |  1 +
 dev-ml/core/core-0.15.1.ebuild | 28 
 2 files changed, 29 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index da05b1c54114..9f7a0508cba2 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,3 +1,4 @@
 DIST core-0.14.0.tar.gz 361607 BLAKE2B 
1602857bee142c23101380e6d54b6f8df1be8bb67e8f8baf7ca65c2f248d1ff9794e33d96cc58ca1f591b69e4a16b7873043549e01d38e2fc390c884d117d0a3
 SHA512 
fd3202c115ccda53aa32233f2eac223dcc3fb6272fd6327ea6aa5dcd3b7295936d86102640046c961a2af45d62aa3563a2701a2e0ef54f6cd2bfcb81609639f4
 DIST core-0.14.1.tar.gz 361679 BLAKE2B 
ca43016c760e620f9073defd84a07bacaa0557d42fd9a60d6c4c894187671526ae07e0b93d29bee961b3460e1b0ec5cb346cc711d583c71fde94a9bf9992bf7e
 SHA512 
29482b1f611f2f15f11562bfed7f8a47d2926333601ed57867c8c134d4b10dbf2ba0309ceb6ae602fe8bca1e1f9324603dba37a5df3183cd0cb690104817ed3f
 DIST core-0.15.0.tar.gz 522984 BLAKE2B 
b6fdc9d7fe133c504f89ba492e63d090e2ca4e413e96eb8c216213ea358d84ae89ef1d372525b53f701e8076e4e0670ea3535f399f3f735b3b7da383901def09
 SHA512 
a73a3c1c6f0ade9a9e49917bb896e62afc4fda44dd90ffa99ef9ba24debe7166b4fe1b374500a044cad8318d12f250de7fe2dd935015efde379cf91a2241f51b
+DIST core-0.15.1.tar.gz 522517 BLAKE2B 
1dc1245708f392161ce04ab121dfff550f13a8aa75b967bc3c32f474641b455355bbeb63ef1c7492947f46c3391cd877b96a8e35c083d0406135e840647715b2
 SHA512 
2c04fdd989d016faaa2dee4b13372d3e228f0011151ae5f747c1eb6206820a61779a87eb7e2ecc6e1ddf77872a69a07636a93d24df61b4a2ba2a1b745f499b16

diff --git a/dev-ml/core/core-0.15.1.ebuild b/dev-ml/core/core-0.15.1.ebuild
new file mode 100644
index ..0aecee5161f4
--- /dev/null
+++ b/dev-ml/core/core-0.15.1.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="https://github.com/janestreet/core;
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+# TODO: Wants quickcheck_deprecated?
+RESTRICT="test"
+
+RDEPEND="
+   >=dev-lang/ocaml-4.11
+   dev-ml/base_bigstring:${SLOT}
+   dev-ml/ppx_jane:${SLOT}
+   dev-ml/ppx_pipebang:=
+   dev-ml/ppxlib:=
+   >=dev-ml/base-0.15.1:${SLOT}
+"
+DEPEND="${RDEPEND}"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2023-01-26 Thread Sam James
commit: aa18a3533ecc6e0c4b25611a0a7ca77e9d1de47e
Author: Sam James  gentoo  org>
AuthorDate: Fri Jan 27 00:25:18 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Jan 27 00:28:28 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa18a353

dev-ml/core: unkeyword 0.15.0

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.15.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/core/core-0.15.0.ebuild b/dev-ml/core/core-0.15.0.ebuild
index c3dd438a91e0..0540bcd6def8 100644
--- a/dev-ml/core/core-0.15.0.ebuild
+++ b/dev-ml/core/core-0.15.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="~amd64"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2022-10-15 Thread Alfredo Tupone
commit: 803ac8d82eb0c917b6168016eebb77b10f22ccac
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sat Oct 15 16:52:13 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sat Oct 15 16:52:34 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=803ac8d8

dev-ml/core: adj deps

Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/core-0.14.1-r1.ebuild | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.1-r1.ebuild 
b/dev-ml/core/core-0.14.1-r1.ebuild
index f5d520ec589c..6118d175bd4a 100644
--- a/dev-ml/core/core-0.14.1-r1.ebuild
+++ b/dev-ml/core/core-0.14.1-r1.ebuild
@@ -25,7 +25,8 @@ RDEPEND="
=dev-ml/core_unix-0.15
 "
 DEPEND="${RDEPEND}"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2022-04-26 Thread Alfredo Tupone
commit: f3c44e9225a588e992cfa94b8e3e78e6001983c1
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Tue Apr 26 17:04:36 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Tue Apr 26 17:04:57 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f3c44e92

dev-ml/core: 0.15.0 bump

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/Manifest   |  1 +
 dev-ml/core/core-0.15.0.ebuild | 24 
 2 files changed, 25 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index f0084c0cd37c..da05b1c54114 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,2 +1,3 @@
 DIST core-0.14.0.tar.gz 361607 BLAKE2B 
1602857bee142c23101380e6d54b6f8df1be8bb67e8f8baf7ca65c2f248d1ff9794e33d96cc58ca1f591b69e4a16b7873043549e01d38e2fc390c884d117d0a3
 SHA512 
fd3202c115ccda53aa32233f2eac223dcc3fb6272fd6327ea6aa5dcd3b7295936d86102640046c961a2af45d62aa3563a2701a2e0ef54f6cd2bfcb81609639f4
 DIST core-0.14.1.tar.gz 361679 BLAKE2B 
ca43016c760e620f9073defd84a07bacaa0557d42fd9a60d6c4c894187671526ae07e0b93d29bee961b3460e1b0ec5cb346cc711d583c71fde94a9bf9992bf7e
 SHA512 
29482b1f611f2f15f11562bfed7f8a47d2926333601ed57867c8c134d4b10dbf2ba0309ceb6ae602fe8bca1e1f9324603dba37a5df3183cd0cb690104817ed3f
+DIST core-0.15.0.tar.gz 522984 BLAKE2B 
b6fdc9d7fe133c504f89ba492e63d090e2ca4e413e96eb8c216213ea358d84ae89ef1d372525b53f701e8076e4e0670ea3535f399f3f735b3b7da383901def09
 SHA512 
a73a3c1c6f0ade9a9e49917bb896e62afc4fda44dd90ffa99ef9ba24debe7166b4fe1b374500a044cad8318d12f250de7fe2dd935015efde379cf91a2241f51b

diff --git a/dev-ml/core/core-0.15.0.ebuild b/dev-ml/core/core-0.15.0.ebuild
new file mode 100644
index ..c3dd438a91e0
--- /dev/null
+++ b/dev-ml/core/core-0.15.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="https://github.com/janestreet/core;
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+# TODO: Wants quickcheck_deprecated?
+RESTRICT="test"
+
+RDEPEND="
+   dev-ml/base_bigstring:${SLOT}
+   dev-ml/ppx_jane:${SLOT}
+"
+DEPEND="${RDEPEND}"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2022-04-22 Thread Maciej Barć
commit: bc444d0dd16ca7efea9afcd3073474e5dbd2158b
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Apr 22 09:55:14 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Apr 22 09:55:14 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bc444d0d

dev-ml/core: update dependencies version constraints

to match opam package definition from
https://opam.ocaml.org/packages/core/core.v0.14.0/

Signed-off-by: Maciej Barć  gentoo.org>

 dev-ml/core/{core-0.14.0-r3.ebuild => core-0.14.0-r4.ebuild} | 8 
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r4.ebuild
similarity index 84%
rename from dev-ml/core/core-0.14.0-r3.ebuild
rename to dev-ml/core/core-0.14.0-r4.ebuild
index 9ea34de13085..f6d81379f69f 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r4.ebuild
@@ -20,10 +20,10 @@ RESTRICT="test"
 RDEPEND="


[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2022-04-22 Thread Maciej Barć
commit: 1536780dfa74123d18036c86514a30e774ba0d41
Author: Maciej Barć  gentoo  org>
AuthorDate: Fri Apr 22 09:51:52 2022 +
Commit: Maciej Barć  gentoo  org>
CommitDate: Fri Apr 22 09:51:52 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1536780d

dev-ml/core: update dependencies version constraints

to match opam package definition from
https://opam.ocaml.org/packages/core/core.v0.14.1/

Signed-off-by: Maciej Barć  gentoo.org>

 dev-ml/core/{core-0.14.1.ebuild => core-0.14.1-r1.ebuild} | 8 
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/dev-ml/core/core-0.14.1.ebuild b/dev-ml/core/core-0.14.1-r1.ebuild
similarity index 85%
rename from dev-ml/core/core-0.14.1.ebuild
rename to dev-ml/core/core-0.14.1-r1.ebuild
index 071f267554d6..f5d520ec589c 100644
--- a/dev-ml/core/core-0.14.1.ebuild
+++ b/dev-ml/core/core-0.14.1-r1.ebuild
@@ -19,10 +19,10 @@ RESTRICT="test"
 
 RDEPEND="
dev-ml/base:=
-   dev-ml/core_kernel:=
-   dev-ml/jst-config:=
-   dev-ml/ppx_jane:=
-   dev-ml/sexplib:=
+   

[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2022-01-31 Thread Alfredo Tupone
commit: 298bb2288d8c7c0eb56a4496093ae7217e114668
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Jan 31 13:42:02 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Jan 31 13:42:02 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=298bb228

dev-ml/core: fix dep

Closes: https://bugs.gentoo.org/832373
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/core-0.14.1.ebuild | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.1.ebuild b/dev-ml/core/core-0.14.1.ebuild
index 360f559aa22d..14bb552e9edb 100644
--- a/dev-ml/core/core-0.14.1.ebuild
+++ b/dev-ml/core/core-0.14.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -26,5 +26,6 @@ RDEPEND="
dev-ml/spawn:=
dev-ml/stdio:=
dev-ml/timezone:=
+   

[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-10-03 Thread Alfredo Tupone
commit: 3e14f0052028fc4e3978c1c514f7faf53d8e977e
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Oct  3 09:53:15 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Oct  3 09:57:19 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e14f005

dev-ml/core: src_compile is in dune.eclass

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/core-0.14.1.ebuild | 4 
 1 file changed, 4 deletions(-)

diff --git a/dev-ml/core/core-0.14.1.ebuild b/dev-ml/core/core-0.14.1.ebuild
index 6ebd5813a98..360f559aa22 100644
--- a/dev-ml/core/core-0.14.1.ebuild
+++ b/dev-ml/core/core-0.14.1.ebuild
@@ -28,7 +28,3 @@ RDEPEND="
dev-ml/timezone:=
 "
 DEPEND="${RDEPEND}"
-
-src_compile() {
-   dune build @install --profile release || die
-}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-10-01 Thread Alfredo Tupone
commit: 1cb13bf391ad0598f39f71ca59a2cd5637c701ce
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Oct  1 17:03:45 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Oct  1 17:03:45 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1cb13bf3

dev-ml/core: bump 0.14.1

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/Manifest  | 1 +
 dev-ml/core/core-0.14.0-r3.ebuild | 1 +
 dev-ml/core/{core-0.14.0-r3.ebuild => core-0.14.1.ebuild} | 6 +-
 3 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 82e5ecf49a8..f0084c0cd37 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1 +1,2 @@
 DIST core-0.14.0.tar.gz 361607 BLAKE2B 
1602857bee142c23101380e6d54b6f8df1be8bb67e8f8baf7ca65c2f248d1ff9794e33d96cc58ca1f591b69e4a16b7873043549e01d38e2fc390c884d117d0a3
 SHA512 
fd3202c115ccda53aa32233f2eac223dcc3fb6272fd6327ea6aa5dcd3b7295936d86102640046c961a2af45d62aa3563a2701a2e0ef54f6cd2bfcb81609639f4
+DIST core-0.14.1.tar.gz 361679 BLAKE2B 
ca43016c760e620f9073defd84a07bacaa0557d42fd9a60d6c4c894187671526ae07e0b93d29bee961b3460e1b0ec5cb346cc711d583c71fde94a9bf9992bf7e
 SHA512 
29482b1f611f2f15f11562bfed7f8a47d2926333601ed57867c8c134d4b10dbf2ba0309ceb6ae602fe8bca1e1f9324603dba37a5df3183cd0cb690104817ed3f

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index 1774dc183f8..59ff7c24b08 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -18,6 +18,7 @@ IUSE="+ocamlopt"
 RESTRICT="test"
 
 RDEPEND="
+   https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ppc ppc64 x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?
@@ -28,3 +28,7 @@ RDEPEND="
dev-ml/timezone:=
 "
 DEPEND="${RDEPEND}"
+
+src_compile() {
+   dune build @install --profile release || die
+}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-03-13 Thread Sam James
commit: 38ab0bac3f189a32adf2366f1761849a8d533104
Author: Sam James  gentoo  org>
AuthorDate: Sat Mar 13 14:05:08 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Mar 13 14:05:08 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=38ab0bac

dev-ml/core: Stabilize 0.14.0-r3 ppc64, #772833

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index 6d8dc5b1f74..253c11eb615 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86"
 IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-03-13 Thread Sam James
commit: d81a2d8d06bce78a08ea7670aa5f6919390d0842
Author: Sam James  gentoo  org>
AuthorDate: Sat Mar 13 13:18:59 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Mar 13 14:02:44 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d81a2d8d

dev-ml/core: default +ocamlopt

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index e3934669e90..6d8dc5b1f74 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 LICENSE="MIT"
 SLOT="0/${PV}"
 KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
-IUSE="ocamlopt"
+IUSE="+ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?
 RESTRICT="test"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/files/

2021-03-10 Thread Conrad Kostecki
commit: e9c39319e50657047a3da02072d3b84152d0a1ae
Author: Michael Mair-Keimberger  levelnine  at>
AuthorDate: Wed Mar 10 14:03:50 2021 +
Commit: Conrad Kostecki  gentoo  org>
CommitDate: Wed Mar 10 22:04:48 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e9c39319

dev-ml/core: remove unused patch(es)

Closes: https://github.com/gentoo/gentoo/pull/19867
Package-Manager: Portage-3.0.16, Repoman-3.0.2
Signed-off-by: Michael Mair-Keimberger  levelnine.at>
Signed-off-by: Conrad Kostecki  gentoo.org>

 dev-ml/core/files/glibc225.patch | 12 
 1 file changed, 12 deletions(-)

diff --git a/dev-ml/core/files/glibc225.patch b/dev-ml/core/files/glibc225.patch
deleted file mode 100644
index 1dd96c8b7b4..000
--- a/dev-ml/core/files/glibc225.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-Index: core-0.9.1/src/unix_stubs.c
-===
 core-0.9.1.orig/src/unix_stubs.c
-+++ core-0.9.1/src/unix_stubs.c
-@@ -40,6 +40,7 @@
- #include 
- #include 
- #include 
-+#include 
- 
- #if defined(__FreeBSD__) || defined(__NetBSD__) || defined(__OpenBSD__)
- #define stat64 stat



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-03-07 Thread Alfredo Tupone
commit: ae19928e4ec89e9dd5dcc66dc75b05f5093080ae
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 17:30:53 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 18:00:09 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae19928e

dev-ml/core: rm old versions

Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/core/Manifest |  2 --
 dev-ml/core/core-0.9.1-r1.ebuild | 30 --
 dev-ml/core/core-0.9.2.ebuild| 29 -
 3 files changed, 61 deletions(-)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index fe7e7fca1c3..82e5ecf49a8 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,3 +1 @@
 DIST core-0.14.0.tar.gz 361607 BLAKE2B 
1602857bee142c23101380e6d54b6f8df1be8bb67e8f8baf7ca65c2f248d1ff9794e33d96cc58ca1f591b69e4a16b7873043549e01d38e2fc390c884d117d0a3
 SHA512 
fd3202c115ccda53aa32233f2eac223dcc3fb6272fd6327ea6aa5dcd3b7295936d86102640046c961a2af45d62aa3563a2701a2e0ef54f6cd2bfcb81609639f4
-DIST core-0.9.1.tar.gz 735006 BLAKE2B 
a85b66c810656aca74fbe82fda37a9d73ca295534b1ea5b2a784aef90c5efb8d571fe449d8b8d1f6c7d7365ed5d20a0a04c4d43374831e358ddc1147cc51f583
 SHA512 
2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a
-DIST core-0.9.2.tar.gz 735027 BLAKE2B 
d33b91d391446d8649ccb84d72f3533e72d2cdb5aca6359049dca0466ac6d23073dc59bc38bc1c9f7bbe47537731984d41a6ac67e4bf9f59ec7be47938bdfd71
 SHA512 
8cef59c353ff6f98b11bb007b99a583b64ee23f960a0de6559866c8ab59a58dd3ca4dae16275c87b780494b64ced7aaa24db8f9a6e6d309662e9d9206f04e335

diff --git a/dev-ml/core/core-0.9.1-r1.ebuild b/dev-ml/core/core-0.9.1-r1.ebuild
deleted file mode 100644
index 45cc74eb455..000
--- a/dev-ml/core/core-0.9.1-r1.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="https://github.com/janestreet/core;
-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=""
-
-RDEPEND="
-   dev-ml/base:=
-   dev-ml/configurator:=
-   dev-ml/core_kernel:=
-   dev-ml/ppx_assert:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/sexplib:=
-   dev-ml/spawn:=
-   dev-ml/stdio:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"
-PATCHES=( "${FILESDIR}/glibc225.patch" )

diff --git a/dev-ml/core/core-0.9.2.ebuild b/dev-ml/core/core-0.9.2.ebuild
deleted file mode 100644
index d2dbd9555d3..000
--- a/dev-ml/core/core-0.9.2.ebuild
+++ /dev/null
@@ -1,29 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="https://github.com/janestreet/core;
-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=""
-
-RDEPEND="
-   dev-ml/base:=
-   dev-ml/configurator:=
-   dev-ml/core_kernel:=
-   dev-ml/ppx_assert:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/sexplib:=
-   dev-ml/spawn:=
-   dev-ml/stdio:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} dev-ml/jbuilder"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-03-04 Thread Agostino Sarubbo
commit: 648bbc0af02141081db1501390805a0c67c96786
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Thu Mar  4 14:27:11 2021 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Thu Mar  4 14:27:11 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=648bbc0a

dev-ml/core: amd64 stable wrt bug #772833

Package-Manager: Portage-3.0.13, Repoman-3.0.2
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index 20d82f66a22..e3934669e90 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86"
+KEYWORDS="amd64 ~arm ~arm64 ppc ~ppc64 x86"
 IUSE="ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-02-25 Thread Sam James
commit: e2d1e9e5d6119d7385e32dc4b26bc2d6b0be2861
Author: Sam James  gentoo  org>
AuthorDate: Thu Feb 25 17:54:03 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Feb 25 17:54:03 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e2d1e9e5

dev-ml/core: Stabilize 0.14.0-r3 x86, #772833

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index 3596e3452e3..20d82f66a22 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 x86"
 IUSE="ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-02-25 Thread Sam James
commit: e86e21f6c5bed4c5fab7dfc9ab3c7a04a38654fe
Author: Sam James  gentoo  org>
AuthorDate: Thu Feb 25 13:08:58 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Feb 25 13:08:58 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e86e21f6

dev-ml/core: Stabilize 0.14.0-r3 ppc, #772833

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index 1a7bd509f76..3596e3452e3 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ppc ~ppc64 ~x86"
 IUSE="ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-02-21 Thread Sam James
commit: 117d54625b4bae084a43730596edce0cd7949349
Author: Sam James  gentoo  org>
AuthorDate: Sun Feb 21 08:11:02 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Feb 21 08:11:02 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=117d5462

dev-ml/core: Keyword 0.14.0-r3 ppc, #769554

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index 1b96bf728cb..1a7bd509f76 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
 IUSE="ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-02-10 Thread Sam James
commit: 0aa2850327b7ec28302b00cb4a37b3924d4a58d0
Author: Sam James  gentoo  org>
AuthorDate: Wed Feb 10 16:38:24 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Feb 10 16:38:24 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0aa28503

dev-ml/core: Keyword 0.14.0-r3 ppc64, #769554

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index 56ab20e0b24..1b96bf728cb 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
 IUSE="ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-28 Thread Sam James
commit: 76775bbc5bfaf2e2267058297c75537457901c09
Author: Sam James  gentoo  org>
AuthorDate: Thu Jan 28 20:25:33 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Jan 28 20:25:40 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=76775bbc

dev-ml/core: Keyword 0.14.0-r3 x86, #766884

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index fa87200f917..56ab20e0b24 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64"
+KEYWORDS="~amd64 ~arm ~arm64 ~x86"
 IUSE="ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-27 Thread Sam James
commit: abb2b69538a41e4fe48fce83aa750f15a73a9a01
Author: Sam James  gentoo  org>
AuthorDate: Thu Jan 28 02:47:32 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Jan 28 02:47:32 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=abb2b695

dev-ml/core: Keyword 0.14.0-r3 arm64, #766884

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index 53e09b36128..fa87200f917 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm"
+KEYWORDS="~amd64 ~arm ~arm64"
 IUSE="ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-27 Thread Sam James
commit: 24ae3ad05e28c9dc918fed4491a22f9e0b04e0ba
Author: Sam James  gentoo  org>
AuthorDate: Wed Jan 27 19:53:37 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Jan 27 19:53:37 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=24ae3ad0

dev-ml/core: Keyword 0.14.0-r3 arm, #766884

Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0-r3.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
index a5e510ea326..53e09b36128 100644
--- a/dev-ml/core/core-0.14.0-r3.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~arm"
 IUSE="ocamlopt"
 
 # TODO: Wants quickcheck_deprecated?



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-27 Thread Sam James
commit: d5e7699f5244fabbbcffcb4ae0985b465a404196
Author: Sam James  gentoo  org>
AuthorDate: Wed Jan 27 08:45:03 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Jan 27 08:45:47 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d5e7699f

dev-ml/core: fix dependencies

* Drop dev-ml/ppx_assert
* Drop dev-ml/ppx_driver
* Drop dev-ml/ocaml-migrate-parsetree
* Add dev-ml/timezone

Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/{core-0.14.0-r2.ebuild => core-0.14.0-r3.ebuild} | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/dev-ml/core/core-0.14.0-r2.ebuild 
b/dev-ml/core/core-0.14.0-r3.ebuild
similarity index 88%
rename from dev-ml/core/core-0.14.0-r2.ebuild
rename to dev-ml/core/core-0.14.0-r3.ebuild
index e00f2513727..a5e510ea326 100644
--- a/dev-ml/core/core-0.14.0-r2.ebuild
+++ b/dev-ml/core/core-0.14.0-r3.ebuild
@@ -21,12 +21,10 @@ RDEPEND="
dev-ml/base:=
dev-ml/core_kernel:=
dev-ml/jst-config:=
-   dev-ml/ppx_assert:=
-   dev-ml/ppx_driver:=
dev-ml/ppx_jane:=
dev-ml/sexplib:=
dev-ml/spawn:=
dev-ml/stdio:=
-   dev-ml/ocaml-migrate-parsetree:=
+   dev-ml/timezone:=
 "
 DEPEND="${RDEPEND}"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-26 Thread Sam James
commit: 6e0f9541d07bb541a7f6321c19c99843bc8877ab
Author: Sam James  gentoo  org>
AuthorDate: Wed Jan 27 02:08:34 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Jan 27 02:08:34 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e0f9541

dev-ml/core: fix dev-ml/bin-prot dep

Bug: https://bugs.gentoo.org/767382
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/{core-0.14.0-r1.ebuild => core-0.14.0-r2.ebuild} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/dev-ml/core/core-0.14.0-r1.ebuild 
b/dev-ml/core/core-0.14.0-r2.ebuild
similarity index 100%
rename from dev-ml/core/core-0.14.0-r1.ebuild
rename to dev-ml/core/core-0.14.0-r2.ebuild



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-26 Thread Sam James
commit: 1c69bef693e5be791e01be7dce4928d53721d503
Author: Sam James  gentoo  org>
AuthorDate: Wed Jan 27 01:59:38 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Jan 27 01:59:38 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1c69bef6

dev-ml/core: drop obsolete dev-ml/configurator dep

Bug: https://bugs.gentoo.org/766884
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/{core-0.14.0.ebuild => core-0.14.0-r1.ebuild} | 1 -
 1 file changed, 1 deletion(-)

diff --git a/dev-ml/core/core-0.14.0.ebuild b/dev-ml/core/core-0.14.0-r1.ebuild
similarity index 96%
rename from dev-ml/core/core-0.14.0.ebuild
rename to dev-ml/core/core-0.14.0-r1.ebuild
index 6a0f48b3ac0..f2582bdb26c 100644
--- a/dev-ml/core/core-0.14.0.ebuild
+++ b/dev-ml/core/core-0.14.0-r1.ebuild
@@ -19,7 +19,6 @@ RESTRICT="test"
 
 RDEPEND="
dev-ml/base:=
-   dev-ml/configurator:=
dev-ml/core_kernel:=
dev-ml/ppx_assert:=
dev-ml/ppx_driver:=



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-26 Thread Sam James
commit: 07e4ed44b01702e089efd136cd38010c8ad4b8e3
Author: Sam James  gentoo  org>
AuthorDate: Wed Jan 27 02:01:27 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Jan 27 02:01:27 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=07e4ed44

dev-ml/core: add dev-ml/jst-config dep

Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/core-0.14.0-r1.ebuild | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dev-ml/core/core-0.14.0-r1.ebuild 
b/dev-ml/core/core-0.14.0-r1.ebuild
index f2582bdb26c..e00f2513727 100644
--- a/dev-ml/core/core-0.14.0-r1.ebuild
+++ b/dev-ml/core/core-0.14.0-r1.ebuild
@@ -20,6 +20,7 @@ RESTRICT="test"
 RDEPEND="
dev-ml/base:=
dev-ml/core_kernel:=
+   dev-ml/jst-config:=
dev-ml/ppx_assert:=
dev-ml/ppx_driver:=
dev-ml/ppx_jane:=



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-24 Thread Sam James
commit: e712d986176b6c3b245a75e4f0b9f470c6470ab1
Author: Sam James  gentoo  org>
AuthorDate: Sun Jan 24 16:10:37 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Jan 24 16:10:37 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e712d986

dev-ml/core: adopt for ml@

Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/metadata.xml | 5 -
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/dev-ml/core/metadata.xml b/dev-ml/core/metadata.xml
index 29e5e37cbcc..8957be33453 100644
--- a/dev-ml/core/metadata.xml
+++ b/dev-ml/core/metadata.xml
@@ -1,7 +1,10 @@
 
 http://www.gentoo.org/dtd/metadata.dtd;>
 
-  
+  
+m...@gentoo.org
+ML
+  
   
   Core is Jane Street Capital's Ocaml standard library overlay.  It
   provides tail recursive versions of non tail recursive functions in



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2021-01-24 Thread Sam James
commit: f31712d49cbb28632b24e030beb7de482f9f98d1
Author: Sam James  gentoo  org>
AuthorDate: Fri Jan 22 06:02:36 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Sun Jan 24 16:06:07 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f31712d4

dev-ml/core: bump to 0.14.0

Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James  gentoo.org>

 dev-ml/core/Manifest   |  1 +
 dev-ml/core/core-0.14.0.ebuild | 32 
 2 files changed, 33 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 8c73a7fb09a..fe7e7fca1c3 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,2 +1,3 @@
+DIST core-0.14.0.tar.gz 361607 BLAKE2B 
1602857bee142c23101380e6d54b6f8df1be8bb67e8f8baf7ca65c2f248d1ff9794e33d96cc58ca1f591b69e4a16b7873043549e01d38e2fc390c884d117d0a3
 SHA512 
fd3202c115ccda53aa32233f2eac223dcc3fb6272fd6327ea6aa5dcd3b7295936d86102640046c961a2af45d62aa3563a2701a2e0ef54f6cd2bfcb81609639f4
 DIST core-0.9.1.tar.gz 735006 BLAKE2B 
a85b66c810656aca74fbe82fda37a9d73ca295534b1ea5b2a784aef90c5efb8d571fe449d8b8d1f6c7d7365ed5d20a0a04c4d43374831e358ddc1147cc51f583
 SHA512 
2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a
 DIST core-0.9.2.tar.gz 735027 BLAKE2B 
d33b91d391446d8649ccb84d72f3533e72d2cdb5aca6359049dca0466ac6d23073dc59bc38bc1c9f7bbe47537731984d41a6ac67e4bf9f59ec7be47938bdfd71
 SHA512 
8cef59c353ff6f98b11bb007b99a583b64ee23f960a0de6559866c8ab59a58dd3ca4dae16275c87b780494b64ced7aaa24db8f9a6e6d309662e9d9206f04e335

diff --git a/dev-ml/core/core-0.14.0.ebuild b/dev-ml/core/core-0.14.0.ebuild
new file mode 100644
index 000..6a0f48b3ac0
--- /dev/null
+++ b/dev-ml/core/core-0.14.0.ebuild
@@ -0,0 +1,32 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="https://github.com/janestreet/core;
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="ocamlopt"
+
+# TODO: Wants quickcheck_deprecated?
+RESTRICT="test"
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/configurator:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_assert:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   dev-ml/sexplib:=
+   dev-ml/spawn:=
+   dev-ml/stdio:=
+   dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND}"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2017-11-10 Thread Alexis Ballier
commit: 102f5a56ce03a40c1dfd301a1d7209de0496ee9a
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Nov 10 16:59:02 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Nov 10 17:42:22 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=102f5a56

dev-ml/core: bump to 0.9.2

Package-Manager: Portage-2.3.13, Repoman-2.3.4

 dev-ml/core/Manifest  |  1 +
 dev-ml/core/core-0.9.2.ebuild | 29 +
 2 files changed, 30 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index eccbbd77f0d..651f6960da4 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1 +1,2 @@
 DIST core-0.9.1.tar.gz 735006 SHA256 
a8d34b76afd8ad5ac525471e7f01d4291203a4b83b9e3051314af13cb169a3ba SHA512 
2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a
 WHIRLPOOL 
c6e6a9f2e9f29ad04b5850706f116ae23d2cb26550dc1113653c0c857f9f183a9dc6644121aeff2526ef7fd48a4fadc7b8407d615fe3395cf0f526891aaa6699
+DIST core-0.9.2.tar.gz 735027 SHA256 
6549b3312f68c84049d3389747406cf41d9c66148b7dc3e2af8563985d2b95df SHA512 
8cef59c353ff6f98b11bb007b99a583b64ee23f960a0de6559866c8ab59a58dd3ca4dae16275c87b780494b64ced7aaa24db8f9a6e6d309662e9d9206f04e335
 WHIRLPOOL 
18df0d7956bd18ac6afb91e9ae60db54937d35083fd48950ef142d0f137ea64adfe8d9241cfae30850afa1baaf26c4d9275748c6ed820e4ddc36862496bbb246

diff --git a/dev-ml/core/core-0.9.2.ebuild b/dev-ml/core/core-0.9.2.ebuild
new file mode 100644
index 000..d2dbd9555d3
--- /dev/null
+++ b/dev-ml/core/core-0.9.2.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+inherit opam
+
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="https://github.com/janestreet/core;
+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=""
+
+RDEPEND="
+   dev-ml/base:=
+   dev-ml/configurator:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_assert:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   dev-ml/sexplib:=
+   dev-ml/spawn:=
+   dev-ml/stdio:=
+   dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND} dev-ml/jbuilder"



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2017-08-15 Thread Alexis Ballier
commit: 7d807938fe044e142f707c8f2c0ae8a27cc5a34e
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Aug 15 09:47:03 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Aug 15 09:49:15 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7d807938

dev-ml/core: Remove old

Package-Manager: Portage-2.3.7, Repoman-2.3.3

 dev-ml/core/Manifest  |  1 -
 dev-ml/core/core-0.9.0.ebuild | 36 
 2 files changed, 37 deletions(-)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index c948f5ef4d6..eccbbd77f0d 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,2 +1 @@
-DIST core-0.9.0.tar.gz 734916 SHA256 
3af762b2116225f8544549e81a6ebfd9155f71ba3707eedfa98038aa76bcb4b1 SHA512 
733fae8552ddb0842455d625786de4a76979b40bee6503954ff77493bad2d5bad143f39f8091fd3b76562edfd14f2a2c9a4e1ec1a11fcf023aac39308d23083c
 WHIRLPOOL 
ebc9e79916dafeac71a412058958a2842ca1346f57c52048c2c1cf2588149df10ae6b130a383bfd844b99fc13fad24f2150006841eee2d36e449f224b2d27190
 DIST core-0.9.1.tar.gz 735006 SHA256 
a8d34b76afd8ad5ac525471e7f01d4291203a4b83b9e3051314af13cb169a3ba SHA512 
2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a
 WHIRLPOOL 
c6e6a9f2e9f29ad04b5850706f116ae23d2cb26550dc1113653c0c857f9f183a9dc6644121aeff2526ef7fd48a4fadc7b8407d615fe3395cf0f526891aaa6699

diff --git a/dev-ml/core/core-0.9.0.ebuild b/dev-ml/core/core-0.9.0.ebuild
deleted file mode 100644
index 64835cb4c69..000
--- a/dev-ml/core/core-0.9.0.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="https://github.com/janestreet/core;
-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=""
-
-RDEPEND="
-   dev-lang/ocaml:=
-   dev-ml/base:=
-   dev-ml/configurator:=
-   dev-ml/core_kernel:=
-   dev-ml/ppx_assert:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_jane:=
-   dev-ml/sexplib:=
-   dev-ml/spawn:=
-   dev-ml/stdio:=
-   dev-ml/ocaml-migrate-parsetree:=
-"
-DEPEND="${RDEPEND} 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
-}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/files/, dev-ml/core/

2017-08-15 Thread Alexis Ballier
commit: 053c3730bc66ddac70d3d3e3a21f8eb4a4312f74
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Aug 15 09:46:52 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Aug 15 09:49:15 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=053c3730

dev-ml/core: convert to opam.eclass and add fix for glibc 2.25

Package-Manager: Portage-2.3.7, Repoman-2.3.3

 dev-ml/core/{core-0.9.1.ebuild => core-0.9.1-r1.ebuild} | 14 --
 dev-ml/core/files/glibc225.patch| 12 
 2 files changed, 16 insertions(+), 10 deletions(-)

diff --git a/dev-ml/core/core-0.9.1.ebuild b/dev-ml/core/core-0.9.1-r1.ebuild
similarity index 71%
rename from dev-ml/core/core-0.9.1.ebuild
rename to dev-ml/core/core-0.9.1-r1.ebuild
index 64835cb4c69..45cc74eb455 100644
--- a/dev-ml/core/core-0.9.1.ebuild
+++ b/dev-ml/core/core-0.9.1-r1.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Jane Street's alternative to the standard library"
 HOMEPAGE="https://github.com/janestreet/core;
 SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> 
${P}.tar.gz"
@@ -13,7 +15,6 @@ KEYWORDS="~amd64"
 IUSE=""
 
 RDEPEND="
-   dev-lang/ocaml:=
dev-ml/base:=
dev-ml/configurator:=
dev-ml/core_kernel:=
@@ -25,12 +26,5 @@ RDEPEND="
dev-ml/stdio:=
dev-ml/ocaml-migrate-parsetree:=
 "
-DEPEND="${RDEPEND} 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
-}
+DEPEND="${RDEPEND} dev-ml/jbuilder"
+PATCHES=( "${FILESDIR}/glibc225.patch" )

diff --git a/dev-ml/core/files/glibc225.patch b/dev-ml/core/files/glibc225.patch
new file mode 100644
index 000..1dd96c8b7b4
--- /dev/null
+++ b/dev-ml/core/files/glibc225.patch
@@ -0,0 +1,12 @@
+Index: core-0.9.1/src/unix_stubs.c
+===
+--- core-0.9.1.orig/src/unix_stubs.c
 core-0.9.1/src/unix_stubs.c
+@@ -40,6 +40,7 @@
+ #include 
+ #include 
+ #include 
++#include 
+ 
+ #if defined(__FreeBSD__) || defined(__NetBSD__) || defined(__OpenBSD__)
+ #define stat64 stat



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2017-05-24 Thread Alexis Ballier
commit: 42f51b0a8d169a3c54526556813bd0c749940737
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue May 23 13:35:10 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Wed May 24 11:07:15 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=42f51b0a

dev-ml/core: bump to 0.9.1

Package-Manager: Portage-2.3.6, Repoman-2.3.2

 dev-ml/core/Manifest  |  1 +
 dev-ml/core/core-0.9.1.ebuild | 36 
 2 files changed, 37 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index aae420ca2bf..c948f5ef4d6 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1 +1,2 @@
 DIST core-0.9.0.tar.gz 734916 SHA256 
3af762b2116225f8544549e81a6ebfd9155f71ba3707eedfa98038aa76bcb4b1 SHA512 
733fae8552ddb0842455d625786de4a76979b40bee6503954ff77493bad2d5bad143f39f8091fd3b76562edfd14f2a2c9a4e1ec1a11fcf023aac39308d23083c
 WHIRLPOOL 
ebc9e79916dafeac71a412058958a2842ca1346f57c52048c2c1cf2588149df10ae6b130a383bfd844b99fc13fad24f2150006841eee2d36e449f224b2d27190
+DIST core-0.9.1.tar.gz 735006 SHA256 
a8d34b76afd8ad5ac525471e7f01d4291203a4b83b9e3051314af13cb169a3ba SHA512 
2d4a7ff753cb0415cc6a957fff53037aad65053d3c3531070663b4bcf4462982c811a586a39ea3a223aca02cae9212c300b6788266ac60213437dc99ecc0a29a
 WHIRLPOOL 
c6e6a9f2e9f29ad04b5850706f116ae23d2cb26550dc1113653c0c857f9f183a9dc6644121aeff2526ef7fd48a4fadc7b8407d615fe3395cf0f526891aaa6699

diff --git a/dev-ml/core/core-0.9.1.ebuild b/dev-ml/core/core-0.9.1.ebuild
new file mode 100644
index 000..64835cb4c69
--- /dev/null
+++ b/dev-ml/core/core-0.9.1.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="https://github.com/janestreet/core;
+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=""
+
+RDEPEND="
+   dev-lang/ocaml:=
+   dev-ml/base:=
+   dev-ml/configurator:=
+   dev-ml/core_kernel:=
+   dev-ml/ppx_assert:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_jane:=
+   dev-ml/sexplib:=
+   dev-ml/spawn:=
+   dev-ml/stdio:=
+   dev-ml/ocaml-migrate-parsetree:=
+"
+DEPEND="${RDEPEND} 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
+}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2017-01-24 Thread Alexis Ballier
commit: 0c729e23cbfc87a6d50a5fe82c684683230ef116
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Jan 24 10:54:59 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Jan 24 10:54:59 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0c729e23

dev-ml/core: remove old

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/core/Manifest  |  4 ---
 dev-ml/core/core-113.24.00.ebuild | 54 ---
 dev-ml/core/core-113.24.01.ebuild | 54 ---
 dev-ml/core/core-113.24.02.ebuild | 54 ---
 dev-ml/core/core-113.33.00.ebuild | 54 ---
 5 files changed, 220 deletions(-)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 817ede8..453f3ed 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,5 +1 @@
-DIST core-113.24.00.tar.gz 806394 SHA256 
66ab36a4d7b78a4710f992c670777919ae329dcbe107f270239a2215d87dce81 SHA512 
ec3682ed9bb15d2bf8f9063930249f3657b34a3edda1a3b69bfcf5d50cd9d59fb6fbbc795d01a695da0897bb2673c80449972de80f4b4f60df9bab831ee1d5d4
 WHIRLPOOL 
c5381a69901d9adc87b9814fa8cd9547ba4898a0536a634f48cee3dbdb0b3bb15c6ef2c834767047a1f8d40a1517771a0d6b79014fc4b2c9d937014c603f97a3
-DIST core-113.24.01.tar.gz 806424 SHA256 
16470035f9e21e8accdaa3286c3e353f60c485402323644fd231412fccf6d9c6 SHA512 
8bfe45a1d0a1973ae7cd317fd6c71d2bb3a6170e432f735e6504586cd4d51b29dec972588478f4abdc7d20d6967ca58afa3ecb5a18871c807437bf8b73e063ec
 WHIRLPOOL 
3bbc8c54140d6277885c37a525af1467ea1c30c7bc4d9dd55738432eca7e4460fed55c7499aad35a46cff324492b0797c40919f926856d6c9d5cc7fd7728705d
-DIST core-113.24.02.tar.gz 806413 SHA256 
c5a4821df9719aa0a6b87b546730de445b698cc86b28046e7b5883cb65f02e29 SHA512 
7f2f3e8524704ce7d29d55904f62cbf6c5b932275171b4b03709fcbdb98954cb2cab8427f06c7d6ee5ba396ac58e1077421162d96aa91b8e182f3e0f2d07cac4
 WHIRLPOOL 
decd161a3aeb9573638c8cbec0c126d83f1a3f4eedc9fc06d53c02ff05eef18a7be781cfde05aac730c7683eed186f14f78cf1b80600843a1b3ffceec712604d
-DIST core-113.33.00.tar.gz 806877 SHA256 
cca2511bb16ee5788daf42cdeec90c75698c07a995a0fde5c27373a7993c9a6b SHA512 
5ee4e9d6dcc078a518d947d09fc6adfa7f79d299539e79d3b8e3b86c6b3c494144f42b755dfb04165e3af68058c87d6a567f7e94913575d9f371a21f63bdfc9e
 WHIRLPOOL 
50719bf6f72e3ef6f9be477c24e5b9756793c69864c0540ae8508789f95833f0247ee77f86879b44f15ac19d075b25f9bc55e9e049ba51dd9606351dbe74b121
 DIST core-113.33.02.tar.gz 806999 SHA256 
42f474e7c0b907bc3cd10defbc2de49547aa8c23bb86e39aa7abcc6ea1ff5c06 SHA512 
da498c116dc4844455370c28b4cdab9f3dcc576a99f82ed7795cb7a8e65de01364f048588d4be6ca80b979f379d8bc4b4ab46eee17b557bdb75cac1e585badea
 WHIRLPOOL 
cb647f13482d4bef7b83fce35434acdeaa2c5df6ebf999b41ba2c8b5dc6754ddf4939d89239be79e120113570bfdd0e839feb7374d9e25457379bfdd1092a3c0

diff --git a/dev-ml/core/core-113.24.00.ebuild 
b/dev-ml/core/core-113.24.00.ebuild
deleted file mode 100644
index 2f4f48e..
--- a/dev-ml/core/core-113.24.00.ebuild
+++ /dev/null
@@ -1,54 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit eutils oasis
-
-MY_P=${P/_/\~}
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="http://www.janestreet.com/ocaml;
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
-   >=dev-ml/bin-prot-113.24.00:=
-   >=dev-ml/core_kernel-113.24.00:=
-   >=dev-ml/fieldslib-113.24.00:=
-   dev-ml/ppx_assert:=
-   dev-ml/ppx_bench:=
-   dev-ml/ppx_driver:=
-   dev-ml/ppx_expect:=
-   dev-ml/ppx_inline_test:=
-   dev-ml/ppx_jane:=
-   >=dev-ml/sexplib-113.24.00:=
-   dev-ml/typerep:=
-   dev-ml/variantslib:=
-"
-DEPEND="${RDEPEND}"
-
-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
-   dodoc CHANGES.md README.md
-}

diff --git a/dev-ml/core/core-113.24.01.ebuild 
b/dev-ml/core/core-113.24.01.ebuild
deleted file mode 100644
index 2f4f48e..
--- a/dev-ml/core/core-113.24.01.ebuild
+++ /dev/null
@@ -1,54 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit eutils oasis
-
-MY_P=${P/_/\~}
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="http://www.janestreet.com/ocaml;
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
-

[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/files/, dev-ml/core/

2016-05-03 Thread Alexis Ballier
commit: ada47650ac0726cd0739f82ef3f1fbb63a1492db
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue May  3 18:03:43 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue May  3 18:29:42 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ada47650

dev-ml/core: bump to 113.33.02 and fix build with ocaml 4.03

Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier  gentoo.org>

 dev-ml/core/Manifest  |   1 +
 dev-ml/core/core-113.33.02.ebuild |  58 
 dev-ml/core/files/oc43.patch  | 279 ++
 3 files changed, 338 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 6c39ee5..817ede8 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -2,3 +2,4 @@ DIST core-113.24.00.tar.gz 806394 SHA256 
66ab36a4d7b78a4710f992c670777919ae329dc
 DIST core-113.24.01.tar.gz 806424 SHA256 
16470035f9e21e8accdaa3286c3e353f60c485402323644fd231412fccf6d9c6 SHA512 
8bfe45a1d0a1973ae7cd317fd6c71d2bb3a6170e432f735e6504586cd4d51b29dec972588478f4abdc7d20d6967ca58afa3ecb5a18871c807437bf8b73e063ec
 WHIRLPOOL 
3bbc8c54140d6277885c37a525af1467ea1c30c7bc4d9dd55738432eca7e4460fed55c7499aad35a46cff324492b0797c40919f926856d6c9d5cc7fd7728705d
 DIST core-113.24.02.tar.gz 806413 SHA256 
c5a4821df9719aa0a6b87b546730de445b698cc86b28046e7b5883cb65f02e29 SHA512 
7f2f3e8524704ce7d29d55904f62cbf6c5b932275171b4b03709fcbdb98954cb2cab8427f06c7d6ee5ba396ac58e1077421162d96aa91b8e182f3e0f2d07cac4
 WHIRLPOOL 
decd161a3aeb9573638c8cbec0c126d83f1a3f4eedc9fc06d53c02ff05eef18a7be781cfde05aac730c7683eed186f14f78cf1b80600843a1b3ffceec712604d
 DIST core-113.33.00.tar.gz 806877 SHA256 
cca2511bb16ee5788daf42cdeec90c75698c07a995a0fde5c27373a7993c9a6b SHA512 
5ee4e9d6dcc078a518d947d09fc6adfa7f79d299539e79d3b8e3b86c6b3c494144f42b755dfb04165e3af68058c87d6a567f7e94913575d9f371a21f63bdfc9e
 WHIRLPOOL 
50719bf6f72e3ef6f9be477c24e5b9756793c69864c0540ae8508789f95833f0247ee77f86879b44f15ac19d075b25f9bc55e9e049ba51dd9606351dbe74b121
+DIST core-113.33.02.tar.gz 806999 SHA256 
42f474e7c0b907bc3cd10defbc2de49547aa8c23bb86e39aa7abcc6ea1ff5c06 SHA512 
da498c116dc4844455370c28b4cdab9f3dcc576a99f82ed7795cb7a8e65de01364f048588d4be6ca80b979f379d8bc4b4ab46eee17b557bdb75cac1e585badea
 WHIRLPOOL 
cb647f13482d4bef7b83fce35434acdeaa2c5df6ebf999b41ba2c8b5dc6754ddf4939d89239be79e120113570bfdd0e839feb7374d9e25457379bfdd1092a3c0

diff --git a/dev-ml/core/core-113.33.02.ebuild 
b/dev-ml/core/core-113.33.02.ebuild
new file mode 100644
index 000..80e1a06
--- /dev/null
+++ b/dev-ml/core/core-113.33.02.ebuild
@@ -0,0 +1,58 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+OASIS_BUILD_DOCS=1
+OASIS_BUILD_TESTS=1
+
+inherit eutils oasis
+
+MY_P=${P/_/\~}
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="http://www.janestreet.com/ocaml;
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+   >=dev-ml/bin-prot-113.24.00:=
+   >=dev-ml/core_kernel-113.24.00:=
+   >=dev-ml/fieldslib-113.24.00:=
+   dev-ml/ppx_assert:=
+   dev-ml/ppx_bench:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_expect:=
+   dev-ml/ppx_inline_test:=
+   dev-ml/ppx_jane:=
+   >=dev-ml/sexplib-113.24.00:=
+   dev-ml/typerep:=
+   dev-ml/variantslib:=
+"
+DEPEND="${RDEPEND}"
+
+src_prepare() {
+   has_version '>=dev-lang/ocaml-4.03' && epatch "${FILESDIR}/oc43.patch"
+}
+
+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
+   dodoc CHANGES.md README.md
+}

diff --git a/dev-ml/core/files/oc43.patch b/dev-ml/core/files/oc43.patch
new file mode 100644
index 000..5e44a44
--- /dev/null
+++ b/dev-ml/core/files/oc43.patch
@@ -0,0 +1,279 @@
+diff -uNr core-113.33.02/_oasis core-113.33.02+4.03/_oasis
+--- core-113.33.02/_oasis  2016-04-06 11:06:40.0 +0200
 core-113.33.02+4.03/_oasis 2016-04-06 12:42:48.0 +0200
+@@ -1,8 +1,8 @@
+ OASISFormat:   0.4
+-OCamlVersion:  >= 4.02.3
++OCamlVersion:  >= 4.03.0
+ FindlibVersion:>= 1.3.2
+ Name:  core
+-Version:   113.33.02
++Version:   113.33.02+4.03
+ Synopsis:  Industrial strength alternative to OCaml's standard 
library
+ Authors:   Jane Street Group, LLC 
+ Copyrights:(C) 2008-2016 Jane Street Group LLC 

+diff -uNr core-113.33.02/opam core-113.33.02+4.03/opam
+--- 

[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2016-03-22 Thread Alexis Ballier
commit: c506b2794e246aec7d4f2c40f04d1c8ae3d3e98a
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Mar 22 10:26:44 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Mar 22 10:55:37 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c506b279

dev-ml/core: bump to 113.33.00

Package-Manager: portage-2.2.28
Signed-off-by: Alexis Ballier  gentoo.org>

 dev-ml/core/Manifest  |  1 +
 dev-ml/core/core-113.33.00.ebuild | 54 +++
 2 files changed, 55 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 39cb33c..6c39ee5 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,3 +1,4 @@
 DIST core-113.24.00.tar.gz 806394 SHA256 
66ab36a4d7b78a4710f992c670777919ae329dcbe107f270239a2215d87dce81 SHA512 
ec3682ed9bb15d2bf8f9063930249f3657b34a3edda1a3b69bfcf5d50cd9d59fb6fbbc795d01a695da0897bb2673c80449972de80f4b4f60df9bab831ee1d5d4
 WHIRLPOOL 
c5381a69901d9adc87b9814fa8cd9547ba4898a0536a634f48cee3dbdb0b3bb15c6ef2c834767047a1f8d40a1517771a0d6b79014fc4b2c9d937014c603f97a3
 DIST core-113.24.01.tar.gz 806424 SHA256 
16470035f9e21e8accdaa3286c3e353f60c485402323644fd231412fccf6d9c6 SHA512 
8bfe45a1d0a1973ae7cd317fd6c71d2bb3a6170e432f735e6504586cd4d51b29dec972588478f4abdc7d20d6967ca58afa3ecb5a18871c807437bf8b73e063ec
 WHIRLPOOL 
3bbc8c54140d6277885c37a525af1467ea1c30c7bc4d9dd55738432eca7e4460fed55c7499aad35a46cff324492b0797c40919f926856d6c9d5cc7fd7728705d
 DIST core-113.24.02.tar.gz 806413 SHA256 
c5a4821df9719aa0a6b87b546730de445b698cc86b28046e7b5883cb65f02e29 SHA512 
7f2f3e8524704ce7d29d55904f62cbf6c5b932275171b4b03709fcbdb98954cb2cab8427f06c7d6ee5ba396ac58e1077421162d96aa91b8e182f3e0f2d07cac4
 WHIRLPOOL 
decd161a3aeb9573638c8cbec0c126d83f1a3f4eedc9fc06d53c02ff05eef18a7be781cfde05aac730c7683eed186f14f78cf1b80600843a1b3ffceec712604d
+DIST core-113.33.00.tar.gz 806877 SHA256 
cca2511bb16ee5788daf42cdeec90c75698c07a995a0fde5c27373a7993c9a6b SHA512 
5ee4e9d6dcc078a518d947d09fc6adfa7f79d299539e79d3b8e3b86c6b3c494144f42b755dfb04165e3af68058c87d6a567f7e94913575d9f371a21f63bdfc9e
 WHIRLPOOL 
50719bf6f72e3ef6f9be477c24e5b9756793c69864c0540ae8508789f95833f0247ee77f86879b44f15ac19d075b25f9bc55e9e049ba51dd9606351dbe74b121

diff --git a/dev-ml/core/core-113.33.00.ebuild 
b/dev-ml/core/core-113.33.00.ebuild
new file mode 100644
index 000..2f4f48e
--- /dev/null
+++ b/dev-ml/core/core-113.33.00.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+OASIS_BUILD_DOCS=1
+OASIS_BUILD_TESTS=1
+
+inherit eutils oasis
+
+MY_P=${P/_/\~}
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="http://www.janestreet.com/ocaml;
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+   >=dev-ml/bin-prot-113.24.00:=
+   >=dev-ml/core_kernel-113.24.00:=
+   >=dev-ml/fieldslib-113.24.00:=
+   dev-ml/ppx_assert:=
+   dev-ml/ppx_bench:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_expect:=
+   dev-ml/ppx_inline_test:=
+   dev-ml/ppx_jane:=
+   >=dev-ml/sexplib-113.24.00:=
+   dev-ml/typerep:=
+   dev-ml/variantslib:=
+"
+DEPEND="${RDEPEND}"
+
+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
+   dodoc CHANGES.md README.md
+}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2016-03-02 Thread Alexis Ballier
commit: 724dce98e134b3ba08d7a570fd258fa8ffe979d0
Author: Alexis Ballier  gentoo  org>
AuthorDate: Wed Mar  2 12:00:23 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Wed Mar  2 19:29:06 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=724dce98

dev-ml/core: bump to 113.24.02

 dev-ml/core/Manifest  |  1 +
 dev-ml/core/core-113.24.02.ebuild | 54 +++
 2 files changed, 55 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 087a7c1..39cb33c 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,2 +1,3 @@
 DIST core-113.24.00.tar.gz 806394 SHA256 
66ab36a4d7b78a4710f992c670777919ae329dcbe107f270239a2215d87dce81 SHA512 
ec3682ed9bb15d2bf8f9063930249f3657b34a3edda1a3b69bfcf5d50cd9d59fb6fbbc795d01a695da0897bb2673c80449972de80f4b4f60df9bab831ee1d5d4
 WHIRLPOOL 
c5381a69901d9adc87b9814fa8cd9547ba4898a0536a634f48cee3dbdb0b3bb15c6ef2c834767047a1f8d40a1517771a0d6b79014fc4b2c9d937014c603f97a3
 DIST core-113.24.01.tar.gz 806424 SHA256 
16470035f9e21e8accdaa3286c3e353f60c485402323644fd231412fccf6d9c6 SHA512 
8bfe45a1d0a1973ae7cd317fd6c71d2bb3a6170e432f735e6504586cd4d51b29dec972588478f4abdc7d20d6967ca58afa3ecb5a18871c807437bf8b73e063ec
 WHIRLPOOL 
3bbc8c54140d6277885c37a525af1467ea1c30c7bc4d9dd55738432eca7e4460fed55c7499aad35a46cff324492b0797c40919f926856d6c9d5cc7fd7728705d
+DIST core-113.24.02.tar.gz 806413 SHA256 
c5a4821df9719aa0a6b87b546730de445b698cc86b28046e7b5883cb65f02e29 SHA512 
7f2f3e8524704ce7d29d55904f62cbf6c5b932275171b4b03709fcbdb98954cb2cab8427f06c7d6ee5ba396ac58e1077421162d96aa91b8e182f3e0f2d07cac4
 WHIRLPOOL 
decd161a3aeb9573638c8cbec0c126d83f1a3f4eedc9fc06d53c02ff05eef18a7be781cfde05aac730c7683eed186f14f78cf1b80600843a1b3ffceec712604d

diff --git a/dev-ml/core/core-113.24.02.ebuild 
b/dev-ml/core/core-113.24.02.ebuild
new file mode 100644
index 000..2f4f48e
--- /dev/null
+++ b/dev-ml/core/core-113.24.02.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+OASIS_BUILD_DOCS=1
+OASIS_BUILD_TESTS=1
+
+inherit eutils oasis
+
+MY_P=${P/_/\~}
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="http://www.janestreet.com/ocaml;
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+   >=dev-ml/bin-prot-113.24.00:=
+   >=dev-ml/core_kernel-113.24.00:=
+   >=dev-ml/fieldslib-113.24.00:=
+   dev-ml/ppx_assert:=
+   dev-ml/ppx_bench:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_expect:=
+   dev-ml/ppx_inline_test:=
+   dev-ml/ppx_jane:=
+   >=dev-ml/sexplib-113.24.00:=
+   dev-ml/typerep:=
+   dev-ml/variantslib:=
+"
+DEPEND="${RDEPEND}"
+
+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
+   dodoc CHANGES.md README.md
+}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2016-02-12 Thread Alexis Ballier
commit: d59e1ba1ab4bf4d7fddb5ec30ff13d2160f9077d
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Feb 12 16:06:42 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Feb 12 16:30:12 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d59e1ba1

dev-ml/core: bump to 113.24.01

Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier  gentoo.org>

 dev-ml/core/Manifest  |  1 +
 dev-ml/core/core-113.24.01.ebuild | 54 +++
 2 files changed, 55 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 6b5c045..087a7c1 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1 +1,2 @@
 DIST core-113.24.00.tar.gz 806394 SHA256 
66ab36a4d7b78a4710f992c670777919ae329dcbe107f270239a2215d87dce81 SHA512 
ec3682ed9bb15d2bf8f9063930249f3657b34a3edda1a3b69bfcf5d50cd9d59fb6fbbc795d01a695da0897bb2673c80449972de80f4b4f60df9bab831ee1d5d4
 WHIRLPOOL 
c5381a69901d9adc87b9814fa8cd9547ba4898a0536a634f48cee3dbdb0b3bb15c6ef2c834767047a1f8d40a1517771a0d6b79014fc4b2c9d937014c603f97a3
+DIST core-113.24.01.tar.gz 806424 SHA256 
16470035f9e21e8accdaa3286c3e353f60c485402323644fd231412fccf6d9c6 SHA512 
8bfe45a1d0a1973ae7cd317fd6c71d2bb3a6170e432f735e6504586cd4d51b29dec972588478f4abdc7d20d6967ca58afa3ecb5a18871c807437bf8b73e063ec
 WHIRLPOOL 
3bbc8c54140d6277885c37a525af1467ea1c30c7bc4d9dd55738432eca7e4460fed55c7499aad35a46cff324492b0797c40919f926856d6c9d5cc7fd7728705d

diff --git a/dev-ml/core/core-113.24.01.ebuild 
b/dev-ml/core/core-113.24.01.ebuild
new file mode 100644
index 000..2f4f48e
--- /dev/null
+++ b/dev-ml/core/core-113.24.01.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+OASIS_BUILD_DOCS=1
+OASIS_BUILD_TESTS=1
+
+inherit eutils oasis
+
+MY_P=${P/_/\~}
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="http://www.janestreet.com/ocaml;
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+   >=dev-ml/bin-prot-113.24.00:=
+   >=dev-ml/core_kernel-113.24.00:=
+   >=dev-ml/fieldslib-113.24.00:=
+   dev-ml/ppx_assert:=
+   dev-ml/ppx_bench:=
+   dev-ml/ppx_driver:=
+   dev-ml/ppx_expect:=
+   dev-ml/ppx_inline_test:=
+   dev-ml/ppx_jane:=
+   >=dev-ml/sexplib-113.24.00:=
+   dev-ml/typerep:=
+   dev-ml/variantslib:=
+"
+DEPEND="${RDEPEND}"
+
+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
+   dodoc CHANGES.md README.md
+}



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2016-02-05 Thread Alexis Ballier
commit: 049d2889d6cb5bc8b63913616480b8ec61c7f3ea
Author: Alexis Ballier  gentoo  org>
AuthorDate: Fri Feb  5 19:52:28 2016 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Fri Feb  5 20:59:02 2016 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=049d2889

dev-ml/core: remove old

Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier  gentoo.org>

 dev-ml/core/Manifest  |  2 --
 dev-ml/core/core-112.35.01.ebuild | 41 ---
 dev-ml/core/core-113.00.00.ebuild | 41 ---
 3 files changed, 84 deletions(-)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index f08d602..6b5c045 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,3 +1 @@
-DIST core-112.35.01.tar.gz 755869 SHA256 
a0d16dc660671d38226af704748f182bb87c0be9282e24766c42a8b18082d2a6 SHA512 
d0a1f5fb5eb40f75d6f87fcfb184835f365095cf998fdeef98a6f8d3335dd0afff8cee5600e295b35e2e08ac178033acc11784b1c73d476a7ebbd497b0bde84e
 WHIRLPOOL 
4022bbf5fb3f888ad7b09de792312884d9e0bc23691bbde69d52f96bf3569713be7cf8e5ece4d18600964efe36b9e437be65bed17b7e471b7e948d02f27f5da1
-DIST core-113.00.00.tar.gz 770356 SHA256 
5d6f948237c7eef3b2bd36b7e51994f36a1b9bbc315bbd7d41d299ad8221b7f3 SHA512 
9a10114255b3d150990c21c39c3e14413a8484124456ee51a18b28b4af6e45e17f877c2ebabcad97152bd5eae702f9e4bcdc1baa2a293dd3d7cdb666423aa807
 WHIRLPOOL 
87ded5d0de0a030b05815a899bafcb40d430331824e8ed6ad209b416e95222956ee662143a310c15aa3944d3e1e8822f1035ef48883fba8b74be9daed0f8
 DIST core-113.24.00.tar.gz 806394 SHA256 
66ab36a4d7b78a4710f992c670777919ae329dcbe107f270239a2215d87dce81 SHA512 
ec3682ed9bb15d2bf8f9063930249f3657b34a3edda1a3b69bfcf5d50cd9d59fb6fbbc795d01a695da0897bb2673c80449972de80f4b4f60df9bab831ee1d5d4
 WHIRLPOOL 
c5381a69901d9adc87b9814fa8cd9547ba4898a0536a634f48cee3dbdb0b3bb15c6ef2c834767047a1f8d40a1517771a0d6b79014fc4b2c9d937014c603f97a3

diff --git a/dev-ml/core/core-112.35.01.ebuild 
b/dev-ml/core/core-112.35.01.ebuild
deleted file mode 100644
index 9cc79dd..000
--- a/dev-ml/core/core-112.35.01.ebuild
+++ /dev/null
@@ -1,41 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit eutils oasis
-
-MY_P=${P/_/\~}
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="http://www.janestreet.com/ocaml;
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
-   >=dev-ml/core_kernel-109.35.00:=
-   >=dev-ml/sexplib-109.20.00:=
-   >=dev-ml/bin-prot-109.15.00:=
-   >=dev-ml/fieldslib-109.20.00:=
-   >=dev-ml/pa_ounit-109.27.00:=
-   >=dev-ml/variantslib-109.15.00:=
-   >=dev-ml/comparelib-109.27.00:=
-   >=dev-ml/herelib-109.35.00:=
-   >=dev-ml/pipebang-109.15.00:=
-   dev-ml/custom_printf:=
-   dev-ml/pa_bench:=
-   dev-ml/pa_test:=
-   dev-ml/enumerate:=
-   dev-ml/camlp4:=
-   dev-ml/pa_structural_sexp:=
-   "
-DEPEND="${RDEPEND}
-   test? ( >=dev-ml/ounit-1.1.2 )"
-DOCS=( "README.md" )

diff --git a/dev-ml/core/core-113.00.00.ebuild 
b/dev-ml/core/core-113.00.00.ebuild
deleted file mode 100644
index 9cc79dd..000
--- a/dev-ml/core/core-113.00.00.ebuild
+++ /dev/null
@@ -1,41 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit eutils oasis
-
-MY_P=${P/_/\~}
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="http://www.janestreet.com/ocaml;
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
-   >=dev-ml/core_kernel-109.35.00:=
-   >=dev-ml/sexplib-109.20.00:=
-   >=dev-ml/bin-prot-109.15.00:=
-   >=dev-ml/fieldslib-109.20.00:=
-   >=dev-ml/pa_ounit-109.27.00:=
-   >=dev-ml/variantslib-109.15.00:=
-   >=dev-ml/comparelib-109.27.00:=
-   >=dev-ml/herelib-109.35.00:=
-   >=dev-ml/pipebang-109.15.00:=
-   dev-ml/custom_printf:=
-   dev-ml/pa_bench:=
-   dev-ml/pa_test:=
-   dev-ml/enumerate:=
-   dev-ml/camlp4:=
-   dev-ml/pa_structural_sexp:=
-   "
-DEPEND="${RDEPEND}
-   test? ( >=dev-ml/ounit-1.1.2 )"
-DOCS=( "README.md" )



[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2015-09-19 Thread Alexis Ballier
commit: c66bf5de990f6a1f7cce30389359fcdd47afd007
Author: Alexis Ballier  gentoo  org>
AuthorDate: Sat Sep 19 13:14:35 2015 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Sat Sep 19 14:03:06 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c66bf5de

dev-ml/core: remove old.

Package-Manager: portage-2.2.20.1

 dev-ml/core/Manifest  |  4 
 dev-ml/core/core-112.17.00.ebuild | 40 --
 dev-ml/core/core-112.24.00.ebuild | 40 --
 dev-ml/core/core-112.24.01.ebuild | 40 --
 dev-ml/core/core-112.35.00.ebuild | 41 ---
 5 files changed, 165 deletions(-)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index 1a8ec35..a4d0fff 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1,5 +1 @@
-DIST core-112.17.00.tar.gz 755485 SHA256 
61879c6401a1fd3ebda308584d7e8650fd8f9d745677cba5eb5a5fc16dd9c4a4 SHA512 
6964c0310efec64cdfc17c5d77f562dda0280b4fba8eff9c9b8b1697d011f981263fec3748f0a3820b0b8e13690440eff08e52084e090f35593dd37761479258
 WHIRLPOOL 
af290471b327f3434ac4b0e2fd9fae23eae0af984bc179993cacb8af46e0b51cf8fefaa00a1257df2055e37763eb9815a35ad4ea037579283f2fda1ce7c58ca1
-DIST core-112.24.01.tar.gz 742585 SHA256 
be5d53ebd4fd04ef23ebf9b3b2840c7aeced6bc4cc6cd3f5e89f71c9949000f4 SHA512 
7672783da5aedfedf11d369ea58f7d32eecca0e99f17257bf2acf23d3f7517b3c86b53a3fa230c212fff211a489a98c47d248ed9ac4997784d2534848f8e2ce6
 WHIRLPOOL 
8f127eaf9891fb8ea60b49b3224e96b3afdfb8d80fb6ed929139bbb3b46f1e7af2d9b42b690cbb6fcf4648f41b149c3c431336ff7e15553c71616c766d93fbe0
-DIST core-112.24.tar.gz 742439 SHA256 
4e272f9f74e93dedf1a752a445b081fc971185d5322d365f151798c68595d13a SHA512 
637400740a1152e4ba5986c820da4b128a5930a0b3d13158b1016fd32f9babec93f633af029e55ad258370833d6697437a59ec1c9fabd90ab1269a38f8197345
 WHIRLPOOL 
33cd226623c9df729abd614984ea819048c96396e757536cde8b8f4a190768f3f074790f6c5230d5df05a5e33f21b3b0c8e8a4c6a85acd8645716875c2d2138d
-DIST core-112.35.00.tar.gz 755795 SHA256 
d321c52b0e1e8e05e52a765590585d573b3bf8bd40c1a2eb423184a0954fa00b SHA512 
4ea1d324ddebcb5a5faf6c5c82bd4d712e11b368b6c547f37b9d35201d35f20f38745a7e0676503abf8dbe38e9be34597795a0b92421d8dea268b09e421d0891
 WHIRLPOOL 
5f81044d44b9963d92751d3cfdce8e36c7269d291f3cc507afe3518e29cfbd7a476ee26b96ceeddc54b412bdd30a85f4d044faaa24563ff65f22e25cdd9e183f
 DIST core-112.35.01.tar.gz 755869 SHA256 
a0d16dc660671d38226af704748f182bb87c0be9282e24766c42a8b18082d2a6 SHA512 
d0a1f5fb5eb40f75d6f87fcfb184835f365095cf998fdeef98a6f8d3335dd0afff8cee5600e295b35e2e08ac178033acc11784b1c73d476a7ebbd497b0bde84e
 WHIRLPOOL 
4022bbf5fb3f888ad7b09de792312884d9e0bc23691bbde69d52f96bf3569713be7cf8e5ece4d18600964efe36b9e437be65bed17b7e471b7e948d02f27f5da1

diff --git a/dev-ml/core/core-112.17.00.ebuild 
b/dev-ml/core/core-112.17.00.ebuild
deleted file mode 100644
index 6751bab..000
--- a/dev-ml/core/core-112.17.00.ebuild
+++ /dev/null
@@ -1,40 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit eutils oasis
-
-MY_P=${P/_/\~}
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="http://www.janestreet.com/ocaml;
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
-   >=dev-ml/core_kernel-109.35.00:=
-   >=dev-ml/sexplib-109.20.00:=
-   >=dev-ml/bin-prot-109.15.00:=
-   >=dev-ml/fieldslib-109.20.00:=
-   >=dev-ml/pa_ounit-109.27.00:=
-   >=dev-ml/variantslib-109.15.00:=
-   >=dev-ml/comparelib-109.27.00:=
-   >=dev-ml/herelib-109.35.00:=
-   >=dev-ml/pipebang-109.15.00:=
-   dev-ml/custom_printf:=
-   dev-ml/pa_bench:=
-   dev-ml/pa_test:=
-   dev-ml/enumerate:=
-   dev-ml/camlp4:=
-   "
-DEPEND="${RDEPEND}
-   test? ( >=dev-ml/ounit-1.1.2 )"
-DOCS=( "README.md" )

diff --git a/dev-ml/core/core-112.24.00.ebuild 
b/dev-ml/core/core-112.24.00.ebuild
deleted file mode 100644
index 17fa7b0..000
--- a/dev-ml/core/core-112.24.00.ebuild
+++ /dev/null
@@ -1,40 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit eutils oasis
-
-MY_P=${P/_/\~}
-DESCRIPTION="Jane Street's alternative to the standard library"
-HOMEPAGE="http://www.janestreet.com/ocaml;
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P%.*}.tar.gz;
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
-   >=dev-ml/core_kernel-109.35.00:=
-   >=dev-ml/sexplib-109.20.00:=
-   >=dev-ml/bin-prot-109.15.00:=
-   >=dev-ml/fieldslib-109.20.00:=
-   

[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/

2015-09-19 Thread Alexis Ballier
commit: 5a1da5e0d6be0065469f5164689a4a8e08d2ff4a
Author: Alexis Ballier  gentoo  org>
AuthorDate: Sat Sep 19 13:16:42 2015 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Sat Sep 19 14:03:06 2015 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5a1da5e0

dev-ml/core: bump to 113.00.00

Package-Manager: portage-2.2.20.1

 dev-ml/core/Manifest  |  1 +
 dev-ml/core/core-113.00.00.ebuild | 41 +++
 2 files changed, 42 insertions(+)

diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest
index a4d0fff..87ab178 100644
--- a/dev-ml/core/Manifest
+++ b/dev-ml/core/Manifest
@@ -1 +1,2 @@
 DIST core-112.35.01.tar.gz 755869 SHA256 
a0d16dc660671d38226af704748f182bb87c0be9282e24766c42a8b18082d2a6 SHA512 
d0a1f5fb5eb40f75d6f87fcfb184835f365095cf998fdeef98a6f8d3335dd0afff8cee5600e295b35e2e08ac178033acc11784b1c73d476a7ebbd497b0bde84e
 WHIRLPOOL 
4022bbf5fb3f888ad7b09de792312884d9e0bc23691bbde69d52f96bf3569713be7cf8e5ece4d18600964efe36b9e437be65bed17b7e471b7e948d02f27f5da1
+DIST core-113.00.00.tar.gz 770356 SHA256 
5d6f948237c7eef3b2bd36b7e51994f36a1b9bbc315bbd7d41d299ad8221b7f3 SHA512 
9a10114255b3d150990c21c39c3e14413a8484124456ee51a18b28b4af6e45e17f877c2ebabcad97152bd5eae702f9e4bcdc1baa2a293dd3d7cdb666423aa807
 WHIRLPOOL 
87ded5d0de0a030b05815a899bafcb40d430331824e8ed6ad209b416e95222956ee662143a310c15aa3944d3e1e8822f1035ef48883fba8b74be9daed0f8

diff --git a/dev-ml/core/core-113.00.00.ebuild 
b/dev-ml/core/core-113.00.00.ebuild
new file mode 100644
index 000..9cc79dd
--- /dev/null
+++ b/dev-ml/core/core-113.00.00.ebuild
@@ -0,0 +1,41 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI="5"
+
+OASIS_BUILD_DOCS=1
+OASIS_BUILD_TESTS=1
+
+inherit eutils oasis
+
+MY_P=${P/_/\~}
+DESCRIPTION="Jane Street's alternative to the standard library"
+HOMEPAGE="http://www.janestreet.com/ocaml;
+SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz;
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+   >=dev-ml/core_kernel-109.35.00:=
+   >=dev-ml/sexplib-109.20.00:=
+   >=dev-ml/bin-prot-109.15.00:=
+   >=dev-ml/fieldslib-109.20.00:=
+   >=dev-ml/pa_ounit-109.27.00:=
+   >=dev-ml/variantslib-109.15.00:=
+   >=dev-ml/comparelib-109.27.00:=
+   >=dev-ml/herelib-109.35.00:=
+   >=dev-ml/pipebang-109.15.00:=
+   dev-ml/custom_printf:=
+   dev-ml/pa_bench:=
+   dev-ml/pa_test:=
+   dev-ml/enumerate:=
+   dev-ml/camlp4:=
+   dev-ml/pa_structural_sexp:=
+   "
+DEPEND="${RDEPEND}
+   test? ( >=dev-ml/ounit-1.1.2 )"
+DOCS=( "README.md" )