[gentoo-commits] repo/gentoo:master commit in: dev-ml/core/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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" )