[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 7ffee1215166154d67f653ecd26bd647d1d1d16f Author: Alfredo Tupone gentoo org> AuthorDate: Fri Jun 30 19:58:24 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Jun 30 20:05:34 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7ffee121 dev-ml/ppx_pipebang: add 0.16.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/ppx_pipebang/Manifest | 1 + dev-ml/ppx_pipebang/ppx_pipebang-0.16.0.ebuild | 22 ++ 2 files changed, 23 insertions(+) diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index 8705c60c84a2..3da78098e74a 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1,2 +1,3 @@ DIST ppx_pipebang-0.14.0.tar.gz 3766 BLAKE2B a2e99dd5e27ddbca5d77b1c215757d8d0d2d54b53511f0db93a09a16c25b5c5e429a08c8d42c7e4843eeb23c346649dea5700c445afe176f4b1625340901b6c1 SHA512 b07004aef0865c877f8f814068b514298568078785586933f400350d1a1dae3eb4aafe1ba4f12e17a3e2a3945297162c4a725ebfbc153e80b412c6086019959a DIST ppx_pipebang-0.15.0.tar.gz 3759 BLAKE2B 6d2a45a4b803a777dcf055acccbea3e54a86458d01032efd01d204cf3426b496b9d91047216c11a424ef5e7ff92fc729d1ef8fb616f807c21f512be52013665a SHA512 778dae2cd6176f9ce18f20486e16f6f76e9137095759b29ddc10fee15d8a21f51fff94245c4a750ae68cd75edbd06b9cad6ff1b56aacb38ac9e6d7d71c0bf701 +DIST ppx_pipebang-0.16.0.tar.gz 3755 BLAKE2B 2aa33958dd9b6abdaed4d38c7d627fa3cd1b0328bc01fc3eb8761ef9d60f9ba26b8be17975712d91c177fcf8c20e17da69c49ff676b2946a783e3674e30597c1 SHA512 b333d189c2705b3c7175af5636bd63c38ed434b3828227c7db8d2cb0fe9bd4caa05975d5d28d8fb4d61656bd3d7a15e2db2b36a1672107c1557c5012c19cb445 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.16.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.16.0.ebuild new file mode 100644 index ..8f9642ec2657 --- /dev/null +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.16.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" +HOMEPAGE="https://github.com/janestreet/ppx_pipebang; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-lang/ocaml-4.14 + >=dev-ml/ppxlib-0.28.0:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= +" +RDEPEND="${DEPEND}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 823611d14b6cfa4b6115dff7ace24b991cbfbfc8 Author: Arthur Zamarin gentoo org> AuthorDate: Fri Mar 24 20:10:43 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Fri Mar 24 20:10:43 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=823611d1 dev-ml/ppx_pipebang: Stabilize 0.15.0-r1 arm, #901583 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild index 0d49fcc716db..89b249c04a20 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 ~riscv x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: d52e8864e78355613ab6553e34c64af842cf5fdc Author: Arthur Zamarin gentoo org> AuthorDate: Fri Mar 24 20:05:41 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Fri Mar 24 20:05:41 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d52e8864 dev-ml/ppx_pipebang: Stabilize 0.15.0-r1 arm64, #901583 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild index c51207230c1a..0d49fcc716db 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86" +KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 5846e31cd4b1d7232fa9cded5bc8f09ebfc668d4 Author: Arthur Zamarin gentoo org> AuthorDate: Fri Mar 17 17:03:18 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Fri Mar 17 17:03:43 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5846e31c dev-ml/ppx_pipebang: Stabilize 0.15.0-r1 x86, #901583 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild index de596553b771..c51207230c1a 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 3857f96971d96a9a4d98604d124776088f6f41f8 Author: Arthur Zamarin gentoo org> AuthorDate: Fri Mar 17 16:33:44 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Fri Mar 17 16:33:44 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3857f969 dev-ml/ppx_pipebang: Stabilize 0.15.0-r1 ppc64, #901583 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild index 82fb8a6d3699..de596553b771 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 87789c324178332204a02e60584d29ba9b626122 Author: Alfredo Tupone gentoo org> AuthorDate: Thu Mar 16 13:22:41 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Mar 16 13:22:41 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=87789c32 dev-ml/ppx_pipebang: stabilize 0.15.0-r1 for amd64 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild index 40b93c106d46..82fb8a6d3699 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.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="Apache-2.0" SLOT="0/$(ver_cut 1-2)" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: eca20c0d82f9a3dbb78e91a8e88c03378608f68e Author: Alfredo Tupone gentoo org> AuthorDate: Wed Oct 19 12:21:29 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Wed Oct 19 12:21:54 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eca20c0d dev-ml/ppx_pipebang: adj deps Closes: https://bugs.gentoo.org/840398 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 7 --- .../{ppx_pipebang-0.15.0.ebuild => ppx_pipebang-0.15.0-r1.ebuild} | 0 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index 70ea6e43c8ff..aeeb5cfc1e7d 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -16,8 +16,9 @@ IUSE="+ocamlopt" DEPEND=" >=dev-ml/ppxlib-0.18.0:= - >=dev-ml/ocaml-compiler-libs-0.11.0:= - >=dev-ml/ocaml-migrate-parsetree-2.0.0:= - dev-ml/cinaps:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= + >=dev-ml/ocaml-migrate-parsetree-2.0.0:= + dev-ml/cinaps:= + dev-ml/sexplib0:= " RDEPEND="${DEPEND}" diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild similarity index 100% rename from dev-ml/ppx_pipebang/ppx_pipebang-0.15.0.ebuild rename to dev-ml/ppx_pipebang/ppx_pipebang-0.15.0-r1.ebuild
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 2899fe8350acd77398c41927d6f6498bb536f640 Author: Alfredo Tupone gentoo org> AuthorDate: Mon Apr 25 17:15:10 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Mon Apr 25 17:15:10 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2899fe83 dev-ml/ppx_pipebang: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/ppx_pipebang/Manifest | 1 + dev-ml/ppx_pipebang/ppx_pipebang-0.15.0.ebuild | 22 ++ 2 files changed, 23 insertions(+) diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index 1e8201baf3a4..8705c60c84a2 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1 +1,2 @@ DIST ppx_pipebang-0.14.0.tar.gz 3766 BLAKE2B a2e99dd5e27ddbca5d77b1c215757d8d0d2d54b53511f0db93a09a16c25b5c5e429a08c8d42c7e4843eeb23c346649dea5700c445afe176f4b1625340901b6c1 SHA512 b07004aef0865c877f8f814068b514298568078785586933f400350d1a1dae3eb4aafe1ba4f12e17a3e2a3945297162c4a725ebfbc153e80b412c6086019959a +DIST ppx_pipebang-0.15.0.tar.gz 3759 BLAKE2B 6d2a45a4b803a777dcf055acccbea3e54a86458d01032efd01d204cf3426b496b9d91047216c11a424ef5e7ff92fc729d1ef8fb616f807c21f512be52013665a SHA512 778dae2cd6176f9ce18f20486e16f6f76e9137095759b29ddc10fee15d8a21f51fff94245c4a750ae68cd75edbd06b9cad6ff1b56aacb38ac9e6d7d71c0bf701 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0.ebuild new file mode 100644 index ..40b93c106d46 --- /dev/null +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.15.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" +HOMEPAGE="https://github.com/janestreet/ppx_pipebang; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND=" + >=dev-lang/ocaml-4.08 + >=dev-ml/ppxlib-0.23.0:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= +" +RDEPEND="${DEPEND}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: d636cf66dc57b2b05e200ef13155277f978fe39a Author: Alfredo Tupone gentoo org> AuthorDate: Sun Mar 7 18:05:47 2021 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Mar 7 18:21:57 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d636cf66 dev-ml/ppx_pipebang: rm old version Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/ppx_pipebang/Manifest | 1 - dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild | 24 2 files changed, 25 deletions(-) diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index a73b6b232a8..1e8201baf3a 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1,2 +1 @@ DIST ppx_pipebang-0.14.0.tar.gz 3766 BLAKE2B a2e99dd5e27ddbca5d77b1c215757d8d0d2d54b53511f0db93a09a16c25b5c5e429a08c8d42c7e4843eeb23c346649dea5700c445afe176f4b1625340901b6c1 SHA512 b07004aef0865c877f8f814068b514298568078785586933f400350d1a1dae3eb4aafe1ba4f12e17a3e2a3945297162c4a725ebfbc153e80b412c6086019959a -DIST ppx_pipebang-0.9.0.tar.gz 5964 BLAKE2B ce001d207a59b1e99f7a023c2823d1b90233762147ad377aa54f7c771041e77081f7f9b05a0f36cb9a2f6379622a9686fa5bad8974d7707dc0b22b3c704edac6 SHA512 d0e82152d257f7214e577e37046877a9c4129c6a9fd79f83912c6335455add4302d927e70117a1e9386c448686d271a7596b3fd2ef0b5f2bda8010cbb9157751 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild deleted file mode 100644 index bb9d37ac7a3..000 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" -HOMEPAGE="https://github.com/janestreet/ppx_pipebang; -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -DEPEND=" - dev-ml/ppx_core:= - dev-ml/ppx_driver:= - dev-ml/ppx_metaquot:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 578cec0a87032224b5e6cbbd300234e79c727a0a Author: Sam James gentoo org> AuthorDate: Thu Feb 11 06:31:16 2021 + Commit: Sam James gentoo org> CommitDate: Thu Feb 11 06:31:16 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=578cec0a dev-ml/ppx_pipebang: Stabilize 0.14.0 ppc, #769317 Signed-off-by: Sam James gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index 19a0177b1ae..da1187d697e 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 x86" +KEYWORDS="amd64 ~arm ~arm64 ppc ppc64 x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 9554fc84bc6e85554d11d35faf5e6afeab4c28e1 Author: Sam James gentoo org> AuthorDate: Thu Feb 11 06:25:30 2021 + Commit: Sam James gentoo org> CommitDate: Thu Feb 11 06:25:30 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9554fc84 dev-ml/ppx_pipebang: Stabilize 0.14.0 x86, #769317 Signed-off-by: Sam James gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index 97290c0cdae..19a0177b1ae 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 34d4a61019c6c2478e9c646e89a15f7032dc6538 Author: Sam James gentoo org> AuthorDate: Wed Feb 10 18:52:45 2021 + Commit: Sam James gentoo org> CommitDate: Wed Feb 10 18:52:45 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=34d4a610 dev-ml/ppx_pipebang: Stabilize 0.14.0 amd64, #769317 Signed-off-by: Sam James gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index ca10957a2cc..97290c0cdae 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~ppc ppc64 ~x86" +KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: f9694728e4db63c2a6e315e78a2e69d59290f1e9 Author: Sam James gentoo org> AuthorDate: Sat Oct 24 00:16:12 2020 + Commit: Sam James gentoo org> CommitDate: Sat Oct 24 00:16:12 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f9694728 dev-ml/ppx_pipebang: Keyword 0.14.0 ppc, #748576 Signed-off-by: Sam James gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index f746ba6934c..eb44efb7ea8 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64 ~x86" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: f8fcef13d6817ed174e441bed5f3f9c80dfa3295 Author: Sam James gentoo org> AuthorDate: Sat Oct 17 01:08:27 2020 + Commit: Sam James gentoo org> CommitDate: Sat Oct 17 01:08:27 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f8fcef13 dev-ml/ppx_pipebang: Keyword 0.14.0 x86, #748936 Signed-off-by: Sam James gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index 8fe557e7ccb..f746ba6934c 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm ~arm64" +KEYWORDS="~amd64 ~arm ~arm64 ~x86" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 20e1d2edf4803228fd25b204731f16447b95f597 Author: Mark Wright gentoo org> AuthorDate: Fri Oct 16 14:28:21 2020 + Commit: Mark Wright gentoo org> CommitDate: Fri Oct 16 15:16:43 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=20e1d2ed dev-ml/ppx_pipebang: Fix deps Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 8 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index 3b987c2134c..8fe557e7ccb 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -15,9 +15,9 @@ KEYWORDS="~amd64 ~arm ~arm64" IUSE="+ocamlopt" DEPEND=" - dev-ml/ppxlib:= - dev-ml/ocaml-migrate-parsetree:= - dev-ml/result:= - dev-ml/base:= + >=dev-ml/ppxlib-0.18.0:= + >=dev-ml/ocaml-compiler-libs-0.11.0:= + >=dev-ml/ocaml-migrate-parsetree-2.0.0:= + dev-ml/cinaps:= " RDEPEND="${DEPEND}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 36dac0fe9822a1e0633220b39ba2f403674e9031 Author: Sam James gentoo org> AuthorDate: Thu Oct 15 12:40:35 2020 + Commit: Sam James gentoo org> CommitDate: Thu Oct 15 12:41:57 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=36dac0fe dev-ml/ppx_pipebang: arm64 keyworded (bug #748936) Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Sam James gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index a3fa8b22cc7..3b987c2134c 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64 ~arm" +KEYWORDS="~amd64 ~arm ~arm64" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: e0897ffac6b2510fbf57a0068e43c464e9a411eb Author: Sam James gentoo org> AuthorDate: Thu Oct 15 01:16:27 2020 + Commit: Sam James gentoo org> CommitDate: Thu Oct 15 01:16:27 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e0897ffa dev-ml/ppx_pipebang: Keyword 0.14.0 arm, #748936 Signed-off-by: Sam James gentoo.org> dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild index 669bd4848cb..a3fa8b22cc7 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.14.0.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~arm" IUSE="+ocamlopt" DEPEND="
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: 6f418613b3da037050e7629759a4bc50d62e551a Author: Alexis Ballier gentoo org> AuthorDate: Tue Aug 15 07:19:41 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Tue Aug 15 07:26:12 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6f418613 dev-ml/ppx_pipebang: convert to opam.eclass Package-Manager: Portage-2.3.7, Repoman-2.3.3 dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild | 13 +++-- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild index 8d864327b5a..bb9d37ac7a3 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild @@ -3,6 +3,8 @@ EAPI=6 +inherit opam + DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" HOMEPAGE="https://github.com/janestreet/ppx_pipebang; SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" @@ -13,19 +15,10 @@ KEYWORDS="~amd64" IUSE="" DEPEND=" - dev-lang/ocaml:= dev-ml/ppx_core:= dev-ml/ppx_driver:= dev-ml/ppx_metaquot:= dev-ml/ocaml-migrate-parsetree:= " RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder" - -src_install() { - opam-installer -i \ - --prefix="${ED}/usr" \ - --libdir="${D}/$(ocamlc -where)" \ - --docdir="${ED}/usr/share/doc/${PF}" \ - ${PN}.install || die -} +DEPEND="${DEPEND} dev-ml/jbuilder"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/, dev-ml/ppx_pipebang/files/
commit: 6f0a36a698e75cba55ca15b22bf2368561f6590d Author: Alexis Ballier gentoo org> AuthorDate: Sat Apr 1 16:49:32 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Sun Apr 2 08:37:59 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6f0a36a6 dev-ml/ppx_pipebang: bump to 0.9.0 Package-Manager: Portage-2.3.5, Repoman-2.3.2 dev-ml/ppx_pipebang/Manifest | 2 +- dev-ml/ppx_pipebang/files/oc43.patch | 46 --- dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild | 31 +++ dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild | 44 -- 4 files changed, 32 insertions(+), 91 deletions(-) diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index e68031d7ff8..e2a633025da 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1 +1 @@ -DIST ppx_pipebang-113.33.00.tar.gz 51353 SHA256 6e43998c5161b87f71a38d197f9d5898ab8ac0e8f7612db64b5c848ee6709204 SHA512 9c057c756b3dbf0ad2306cfc61e9874cb11e050ade05ab2686cfd043fec5e52c17c197aaf6f3ba65c032aa66e810964c4c03b72af64f98e47bf8d532806f62e8 WHIRLPOOL 7a61889c3857591b7f596874d6665f55065d826ed1c6bf645c541816aeafbefec528826dfb48914d875ee9c6ce30f2709d9798aed4d46487827baa2a43eef920 +DIST ppx_pipebang-0.9.0.tar.gz 5964 SHA256 5e1021290a2c0514227cef2b34d3d78a199c51233225c8f04146914a10c7ef40 SHA512 d0e82152d257f7214e577e37046877a9c4129c6a9fd79f83912c6335455add4302d927e70117a1e9386c448686d271a7596b3fd2ef0b5f2bda8010cbb9157751 WHIRLPOOL 50d7d91e9be78efb0001d676698605768ec0001a1968d1bc247761d828e42957c8c2d0042c3832a4880f162d55076a354c7ef7e525c3acb31608f41ca921802c diff --git a/dev-ml/ppx_pipebang/files/oc43.patch b/dev-ml/ppx_pipebang/files/oc43.patch deleted file mode 100644 index 5f10fc02053..000 --- a/dev-ml/ppx_pipebang/files/oc43.patch +++ /dev/null @@ -1,46 +0,0 @@ -diff -uNr ppx_pipebang-113.33.00/_oasis ppx_pipebang-113.33.00+4.03/_oasis ppx_pipebang-113.33.00/_oasis 2016-03-09 16:44:54.0 +0100 -+++ ppx_pipebang-113.33.00+4.03/_oasis 2016-03-22 15:13:51.0 +0100 -@@ -1,8 +1,8 @@ - OASISFormat: 0.4 --OCamlVersion: >= 4.02.3 -+OCamlVersion: >= 4.03.0 - FindlibVersion: >= 1.3.2 - Name: ppx_pipebang --Version: 113.33.00 -+Version: 113.33.00+4.03 - Synopsis: A ppx rewriter that inlines reverse application operators `|>` and `|!` - Authors: Jane Street Group, LLC- Copyrights: (C) 2015-2016 Jane Street Group LLC -diff -uNr ppx_pipebang-113.33.00/opam ppx_pipebang-113.33.00+4.03/opam ppx_pipebang-113.33.00/opam2016-03-18 12:08:01.0 +0100 -+++ ppx_pipebang-113.33.00+4.03/opam 2016-03-22 17:51:37.0 +0100 -@@ -16,4 +16,4 @@ - "ppx_driver" - "ppx_tools" {>= "0.99.3"} - ] --available: [ ocaml-version >= "4.02.3" ] -+available: [ ocaml-version >= "4.03.0" ] -diff -uNr ppx_pipebang-113.33.00/src/ppx_pipebang.ml ppx_pipebang-113.33.00+4.03/src/ppx_pipebang.ml ppx_pipebang-113.33.00/src/ppx_pipebang.ml 2016-03-09 16:44:54.0 +0100 -+++ ppx_pipebang-113.33.00+4.03/src/ppx_pipebang.ml2016-03-22 15:13:51.0 +0100 -@@ -11,16 +11,16 @@ - let loc = e.pexp_loc in - match e.pexp_desc with - | Pexp_apply ({ pexp_desc = Pexp_ident { txt = Lident ("|!" | "|>"); _ }; _ }, -- [("", x); ("", y)]) -> begin -+ [(Nolabel, x); (Nolabel, y)]) -> begin - let x = self#expression x in - let y = self#expression y in - match y with - | { pexp_desc = Pexp_construct (id, None); _ } -> - { y with pexp_desc = Pexp_construct (id, Some x) } - | { pexp_desc = Pexp_apply (f, args); pexp_attributes = []; _ } -> -- { e with pexp_desc = Pexp_apply (f, args @ [("", x)]) } -+ { e with pexp_desc = Pexp_apply (f, args @ [(Nolabel, x)]) } - | _ -> -- { e with pexp_desc = Pexp_apply (y, [("", x)]) } -+ { e with pexp_desc = Pexp_apply (y, [(Nolabel, x)]) } - end - | Pexp_ident { txt = Lident ("|!" | "|>" as s); _ } -> - Location.raise_errorf ~loc "%s must be applied to two arguments" s diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild new file mode 100644 index 000..8d864327b5a --- /dev/null +++ b/dev-ml/ppx_pipebang/ppx_pipebang-0.9.0.ebuild @@ -0,0 +1,31 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" +HOMEPAGE="https://github.com/janestreet/ppx_pipebang; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=" + dev-lang/ocaml:= +
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: c4312a4357b04da53168ff1bd0b7c657651899fa Author: Alexis Ballier gentoo org> AuthorDate: Tue Jan 24 11:40:02 2017 + Commit: Alexis Ballier gentoo org> CommitDate: Tue Jan 24 11:40:02 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c4312a43 dev-ml/ppx_pipebang: remove old Package-Manager: Portage-2.3.3, Repoman-2.3.1 dev-ml/ppx_pipebang/Manifest | 1 - dev-ml/ppx_pipebang/ppx_pipebang-113.24.00.ebuild | 41 --- 2 files changed, 42 deletions(-) diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index 4ac12fe..e68031d 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1,2 +1 @@ -DIST ppx_pipebang-113.24.00.tar.gz 51430 SHA256 11bc7a7c62e3fc6ac3d437c1411e746ccc01d23b1bbdcc5333c562dc343ddcf0 SHA512 12f918ca1c8d16163009f12af2bc8b5652918d53905fb7c85587925960ff483e671eb210ee93c74002375cd608cbc3fd257dd28acc7963ffd227aeb2217f5041 WHIRLPOOL 20076a4da7633d9d0fe930b2d827f8069b72924a1d1e44f3f4175193116180911c27971ff2834406af81e73a1664c1c59f33d87cd3ba1d0d5e29506581f543b0 DIST ppx_pipebang-113.33.00.tar.gz 51353 SHA256 6e43998c5161b87f71a38d197f9d5898ab8ac0e8f7612db64b5c848ee6709204 SHA512 9c057c756b3dbf0ad2306cfc61e9874cb11e050ade05ab2686cfd043fec5e52c17c197aaf6f3ba65c032aa66e810964c4c03b72af64f98e47bf8d532806f62e8 WHIRLPOOL 7a61889c3857591b7f596874d6665f55065d826ed1c6bf645c541816aeafbefec528826dfb48914d875ee9c6ce30f2709d9798aed4d46487827baa2a43eef920 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-113.24.00.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-113.24.00.ebuild deleted file mode 100644 index ae35794.. --- a/dev-ml/ppx_pipebang/ppx_pipebang-113.24.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" - -inherit oasis - -DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" -HOMEPAGE="http://www.janestreet.com/ocaml; -SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz; - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="" - -DEPEND="dev-ml/ppx_tools:= - dev-ml/ppx_core:= - dev-ml/ppx_driver:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/opam" - -src_configure() { - emake setup.exe - OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure -} - -src_compile() { - emake -} - -src_install() { - opam-installer -i \ - --prefix="${ED}/usr" \ - --libdir="${D}/$(ocamlc -where)" \ - --docdir="${ED}/usr/share/doc/${PF}" \ - ${PN}.install || die - dodoc README.md -}
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/files/, dev-ml/ppx_pipebang/
commit: 6f9ce785a4a5d5a9b4593d900557d23e4c81ac73 Author: Alexis Ballier gentoo org> AuthorDate: Tue May 3 16:29:56 2016 + Commit: Alexis Ballier gentoo org> CommitDate: Tue May 3 17:44:22 2016 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6f9ce785 dev-ml/ppx_pipebang: fix build with ocaml 4.03 Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier gentoo.org> dev-ml/ppx_pipebang/files/oc43.patch | 46 +++ dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild | 4 ++ 2 files changed, 50 insertions(+) diff --git a/dev-ml/ppx_pipebang/files/oc43.patch b/dev-ml/ppx_pipebang/files/oc43.patch new file mode 100644 index 000..5f10fc0 --- /dev/null +++ b/dev-ml/ppx_pipebang/files/oc43.patch @@ -0,0 +1,46 @@ +diff -uNr ppx_pipebang-113.33.00/_oasis ppx_pipebang-113.33.00+4.03/_oasis +--- ppx_pipebang-113.33.00/_oasis 2016-03-09 16:44:54.0 +0100 ppx_pipebang-113.33.00+4.03/_oasis 2016-03-22 15:13:51.0 +0100 +@@ -1,8 +1,8 @@ + OASISFormat: 0.4 +-OCamlVersion: >= 4.02.3 ++OCamlVersion: >= 4.03.0 + FindlibVersion: >= 1.3.2 + Name: ppx_pipebang +-Version: 113.33.00 ++Version: 113.33.00+4.03 + Synopsis: A ppx rewriter that inlines reverse application operators `|>` and `|!` + Authors: Jane Street Group, LLC+ Copyrights: (C) 2015-2016 Jane Street Group LLC +diff -uNr ppx_pipebang-113.33.00/opam ppx_pipebang-113.33.00+4.03/opam +--- ppx_pipebang-113.33.00/opam2016-03-18 12:08:01.0 +0100 ppx_pipebang-113.33.00+4.03/opam 2016-03-22 17:51:37.0 +0100 +@@ -16,4 +16,4 @@ + "ppx_driver" + "ppx_tools" {>= "0.99.3"} + ] +-available: [ ocaml-version >= "4.02.3" ] ++available: [ ocaml-version >= "4.03.0" ] +diff -uNr ppx_pipebang-113.33.00/src/ppx_pipebang.ml ppx_pipebang-113.33.00+4.03/src/ppx_pipebang.ml +--- ppx_pipebang-113.33.00/src/ppx_pipebang.ml 2016-03-09 16:44:54.0 +0100 ppx_pipebang-113.33.00+4.03/src/ppx_pipebang.ml2016-03-22 15:13:51.0 +0100 +@@ -11,16 +11,16 @@ + let loc = e.pexp_loc in + match e.pexp_desc with + | Pexp_apply ({ pexp_desc = Pexp_ident { txt = Lident ("|!" | "|>"); _ }; _ }, +- [("", x); ("", y)]) -> begin ++ [(Nolabel, x); (Nolabel, y)]) -> begin + let x = self#expression x in + let y = self#expression y in + match y with + | { pexp_desc = Pexp_construct (id, None); _ } -> + { y with pexp_desc = Pexp_construct (id, Some x) } + | { pexp_desc = Pexp_apply (f, args); pexp_attributes = []; _ } -> +- { e with pexp_desc = Pexp_apply (f, args @ [("", x)]) } ++ { e with pexp_desc = Pexp_apply (f, args @ [(Nolabel, x)]) } + | _ -> +- { e with pexp_desc = Pexp_apply (y, [("", x)]) } ++ { e with pexp_desc = Pexp_apply (y, [(Nolabel, x)]) } + end + | Pexp_ident { txt = Lident ("|!" | "|>" as s); _ } -> + Location.raise_errorf ~loc "%s must be applied to two arguments" s diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild index ae35794..867ca54 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild @@ -22,6 +22,10 @@ DEPEND="dev-ml/ppx_tools:= RDEPEND="${DEPEND}" DEPEND="${DEPEND} dev-ml/opam" +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
[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_pipebang/
commit: b31815e7bcd222f368d1c7cef7cfc50406a79163 Author: Alexis Ballier gentoo org> AuthorDate: Tue Mar 22 09:02:57 2016 + Commit: Alexis Ballier gentoo org> CommitDate: Tue Mar 22 09:20:07 2016 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b31815e7 dev-ml/ppx_pipebang: bump to 113.33.00 Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier gentoo.org> dev-ml/ppx_pipebang/Manifest | 1 + dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild | 41 +++ 2 files changed, 42 insertions(+) diff --git a/dev-ml/ppx_pipebang/Manifest b/dev-ml/ppx_pipebang/Manifest index 125213d..4ac12fe 100644 --- a/dev-ml/ppx_pipebang/Manifest +++ b/dev-ml/ppx_pipebang/Manifest @@ -1 +1,2 @@ DIST ppx_pipebang-113.24.00.tar.gz 51430 SHA256 11bc7a7c62e3fc6ac3d437c1411e746ccc01d23b1bbdcc5333c562dc343ddcf0 SHA512 12f918ca1c8d16163009f12af2bc8b5652918d53905fb7c85587925960ff483e671eb210ee93c74002375cd608cbc3fd257dd28acc7963ffd227aeb2217f5041 WHIRLPOOL 20076a4da7633d9d0fe930b2d827f8069b72924a1d1e44f3f4175193116180911c27971ff2834406af81e73a1664c1c59f33d87cd3ba1d0d5e29506581f543b0 +DIST ppx_pipebang-113.33.00.tar.gz 51353 SHA256 6e43998c5161b87f71a38d197f9d5898ab8ac0e8f7612db64b5c848ee6709204 SHA512 9c057c756b3dbf0ad2306cfc61e9874cb11e050ade05ab2686cfd043fec5e52c17c197aaf6f3ba65c032aa66e810964c4c03b72af64f98e47bf8d532806f62e8 WHIRLPOOL 7a61889c3857591b7f596874d6665f55065d826ed1c6bf645c541816aeafbefec528826dfb48914d875ee9c6ce30f2709d9798aed4d46487827baa2a43eef920 diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild new file mode 100644 index 000..ae35794 --- /dev/null +++ b/dev-ml/ppx_pipebang/ppx_pipebang-113.33.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" + +inherit oasis + +DESCRIPTION="A ppx rewriter that inlines reverse application operators |> and |!" +HOMEPAGE="http://www.janestreet.com/ocaml; +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz; + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND="dev-ml/ppx_tools:= + dev-ml/ppx_core:= + dev-ml/ppx_driver:= +" +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/opam" + +src_configure() { + emake setup.exe + OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure +} + +src_compile() { + emake +} + +src_install() { + opam-installer -i \ + --prefix="${ED}/usr" \ + --libdir="${D}/$(ocamlc -where)" \ + --docdir="${ED}/usr/share/doc/${PF}" \ + ${PN}.install || die + dodoc README.md +}