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

2024-06-11 Thread Arthur Zamarin 
commit: 443c54c54647a507b9401e9508e59d144b259ba4
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Wed Jun 12 05:37:41 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Wed Jun 12 05:37:41 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=443c54c5

dev-ml/ppx_optional: Stabilize 0.16.0 ppc64, #933369

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

 dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
index 7d6ca6e257e0..9ec5848c09bd 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.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/$(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_optional/

2024-06-02 Thread Arthur Zamarin 
commit: 7e1672d9866cf5d550c3610c2b2ff70ff42e10bb
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sun Jun  2 19:44:17 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sun Jun  2 19:44:17 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7e1672d9

dev-ml/ppx_optional: Stabilize 0.16.0 arm64, #933369

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

 dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
index 312432c56dd9..7d6ca6e257e0 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.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/$(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_optional/

2024-06-02 Thread Arthur Zamarin 
commit: 9d9c37d41d4ee78dacaa6da00d03af92b454c95b
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sun Jun  2 19:39:35 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sun Jun  2 19:39:35 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9d9c37d4

dev-ml/ppx_optional: Stabilize 0.16.0 x86, #933369

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

 dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
index 1179088c5570..077dbcc96bf9 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.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/$(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_optional/

2024-06-02 Thread Arthur Zamarin 
commit: 38250ef81a80a58a99e22b2ae455bf6f19f991bd
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sun Jun  2 19:33:44 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sun Jun  2 19:34:05 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=38250ef8

dev-ml/ppx_optional: Stabilize 0.16.0 amd64, #933369

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

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

diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
index 6ee953269bce..1179088c5570 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 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_optional/

2023-06-30 Thread Alfredo Tupone 
commit: 9de4bf79591fb17f6c098b6fa4d7fb3c2f890270
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Jun 30 19:58:41 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Jun 30 20:05:38 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9de4bf79

dev-ml/ppx_optional: add 0.16.0

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

 dev-ml/ppx_optional/Manifest   |  1 +
 dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 23 +++
 2 files changed, 24 insertions(+)

diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 4008ef2eeb4c..7ad5e9f1b091 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,2 +1,3 @@
 DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 
99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d
 SHA512 
70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
 DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 
89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553
 SHA512 
a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809
+DIST ppx_optional-0.16.0.tar.gz 8333 BLAKE2B 
1e977c8c06a9db1247d17a4795d7cd849ca6280b2a2367de3ffe7071f18a88d2e0afc1dbbed3e8b1a01b454623e730d2b7b8e4d378ed0e55df016ecc36c8a4cc
 SHA512 
07e812d46aef13e835dfc31e4eab17c656ad98e85843337d8f9361038c78bbcfceedaa64774784ffd84cb11e58c142e6c9bfab6d6c31eddf86b0e860f9a315a5

diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
new file mode 100644
index ..6ee953269bce
--- /dev/null
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Pattern matching on flat options"
+HOMEPAGE="https://github.com/janestreet/ppx_optional";
+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/base:${SLOT}
+   >=dev-ml/ppxlib-0.28.0:=
+   dev-ml/result:=
+"
+RDEPEND="${DEPEND}"

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

2023-03-24 Thread Arthur Zamarin 
commit: 654d0b1b838f8987766c2d0a8a94d8a608a7c34a
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 06:34:56 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 06:34:56 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=654d0b1b

dev-ml/ppx_optional: Stabilize 0.15.0 x86, #901581

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

 dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 272b217308c3..45a5263c405e 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.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/$(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_optional/

2023-03-24 Thread Arthur Zamarin 
commit: 4a01f08714ac81db1be0a4b921ffe1e348dc6033
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Fri Mar 24 20:57:44 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Fri Mar 24 20:57:44 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a01f087

dev-ml/ppx_optional: Stabilize 0.15.0 arm, #901581

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

 dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 92f2215ca7d6..272b217308c3 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.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/$(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_optional/

2023-03-24 Thread Arthur Zamarin 
commit: e184e29bce33c95d83b68153eea6ba6e13dcaa15
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Fri Mar 24 20:56:00 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Fri Mar 24 20:56:00 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e184e29b

dev-ml/ppx_optional: Stabilize 0.15.0 ppc64, #901581

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

 dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 5fc35fd28088..92f2215ca7d6 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.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/$(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_optional/

2023-03-24 Thread Arthur Zamarin 
commit: bcc90ea1b516e043fd25b4c660eaf3d43ee2e7fa
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Fri Mar 24 20:51:15 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Fri Mar 24 20:51:15 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bcc90ea1

dev-ml/ppx_optional: Stabilize 0.15.0 arm64, #901581

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

 dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 66b76d34c7d4..5fc35fd28088 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.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/$(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_optional/

2023-03-16 Thread Alfredo Tupone 
commit: df4a2b6b1141b6f484e3e60256a22792b8c976b2
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Thu Mar 16 13:21:55 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Thu Mar 16 13:21:55 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df4a2b6b

dev-ml/ppx_optional: stabilize 0.15.0 for amd64

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

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

diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
index 92e8050422a0..66b76d34c7d4 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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="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_optional/

2022-10-19 Thread Alfredo Tupone 
commit: 1e20391d38afc7a1a0b76cc783251e08595d9c99
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Oct 19 20:31:27 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Oct 19 20:41:26 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1e20391d

dev-ml/ppx_optional: adj deps

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

 dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index c2135f01b6e9..fde2b028fbcc 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
@@ -17,7 +17,8 @@ IUSE="+ocamlopt"
 DEPEND="
dev-ml/base:=
dev-ml/ppxlib:=
-   dev-ml/ocaml-migrate-parsetree:=
-   dev-ml/result:=
+   dev-ml/ocaml-migrate-parsetree:=
+   dev-ml/result:=
+   dev-ml/sexplib0:=
 "
 RDEPEND="${DEPEND}"

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

2022-04-25 Thread Alfredo Tupone 
commit: 2ed0517246e293c3f87242c459af307c36620b1b
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Apr 25 17:11:22 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Apr 25 17:11:22 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ed05172

dev-ml/ppx_optional: 0.15.0 bump

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

 dev-ml/ppx_optional/Manifest   |  1 +
 dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 22 ++
 2 files changed, 23 insertions(+)

diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 570af5344c3b..4008ef2eeb4c 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1 +1,2 @@
 DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 
99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d
 SHA512 
70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
+DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 
89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553
 SHA512 
a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809

diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
new file mode 100644
index ..92e8050422a0
--- /dev/null
+++ b/dev-ml/ppx_optional/ppx_optional-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="Pattern matching on flat options"
+HOMEPAGE="https://github.com/janestreet/ppx_optional";
+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-ml/base:${SLOT}
+   >=dev-ml/ppxlib-0.23.0:=
+   dev-ml/result:=
+"
+RDEPEND="${DEPEND}"

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

2021-03-07 Thread Alfredo Tupone 
commit: 102b928ee3299528f36f597b42a65484aef338d8
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Mar  7 18:06:55 2021 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Mar  7 18:22:01 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=102b928e

dev-ml/ppx_optional: rm old version

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

 dev-ml/ppx_optional/Manifest  |  1 -
 dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | 24 
 2 files changed, 25 deletions(-)

diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 7782ba09d70..570af5344c3 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,2 +1 @@
 DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 
99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d
 SHA512 
70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
-DIST ppx_optional-0.9.0.tar.gz 6940 BLAKE2B 
28b9ab2b8cc20f295e927533ff9eed694289987914105758d3c014d06064bd21016d44bc7ad72b331a4c887848ed9c2dd75a0a48b6d5f330de898087596d1cc3
 SHA512 
c341bc8e64b7caf7af5c878747697330db84b14959f22930dd6919cc861dce847983771cbad2ed7800ab8c64704e88fa0d8db3ca7c8f2924bf785a4dccd17fa0

diff --git a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
deleted file mode 100644
index 55a77ef1493..000
--- a/dev-ml/ppx_optional/ppx_optional-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="Pattern matching on flat options"
-HOMEPAGE="https://github.com/janestreet/ppx_optional";
-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_optional/

2021-02-10 Thread Sam James 
commit: 14a898ddf21bae160a7f55212c22da796975c6e9
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=14a898dd

dev-ml/ppx_optional: Stabilize 0.14.0 x86, #769317

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

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

diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 183c022cedf..159480dcd66 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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_optional/

2021-02-10 Thread Sam James 
commit: 999e0f049adfc878682208c045d86b467cf46671
Author: Sam James  gentoo  org>
AuthorDate: Wed Feb 10 18:52:44 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Wed Feb 10 18:52:44 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=999e0f04

dev-ml/ppx_optional: Stabilize 0.14.0 amd64, #769317

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

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

diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 2980f23cdb8..183c022cedf 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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_optional/

2020-10-23 Thread Sam James 
commit: 9ac351564c619b571fc120162189eeaed466ba8d
Author: Sam James  gentoo  org>
AuthorDate: Sat Oct 24 00:16:11 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Oct 24 00:16:11 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ac35156

dev-ml/ppx_optional: Keyword 0.14.0 ppc, #748576

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

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

diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 1aeaf6390a1..b60d571a2ea 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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_optional/

2020-10-16 Thread Sam James 
commit: 046aba5666fa650850045595e46dcb4dfb67ad83
Author: Sam James  gentoo  org>
AuthorDate: Sat Oct 17 01:08:22 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Oct 17 01:08:22 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=046aba56

dev-ml/ppx_optional: Keyword 0.14.0 x86, #748936

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

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

diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index c29b9a1c25d..1aeaf6390a1 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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_optional/

2020-10-15 Thread Sam James 
commit: ec6da19b62ada25f0b2cb5881fdcfeb0b42dd763
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 15 12:40:25 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 15 12:41:57 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ec6da19b

dev-ml/ppx_optional: arm64 keyworded (bug #748936)

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

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

diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 4cf56eb26f1..c29b9a1c25d 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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_optional/

2020-10-14 Thread Sam James 
commit: 941984f4620c758efec0f7c953edeb435b224f35
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 15 01:16:26 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 15 01:16:26 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=941984f4

dev-ml/ppx_optional: Keyword 0.14.0 arm, #748936

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

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

diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index 49577612a83..4cf56eb26f1 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-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_optional/

2017-08-15 Thread Alexis Ballier 
commit: bed66c0e262f1aaabf720660031eb002b2e190ff
Author: Alexis Ballier  gentoo  org>
AuthorDate: Tue Aug 15 07:20:16 2017 +
Commit: Alexis Ballier  gentoo  org>
CommitDate: Tue Aug 15 07:26:12 2017 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bed66c0e

dev-ml/ppx_optional: convert to opam.eclass

Package-Manager: Portage-2.3.7, Repoman-2.3.3

 dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild | 13 +++--
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
index f8bbaf9cb1c..55a77ef1493 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.9.0.ebuild
@@ -3,6 +3,8 @@
 
 EAPI=6
 
+inherit opam
+
 DESCRIPTION="Pattern matching on flat options"
 HOMEPAGE="https://github.com/janestreet/ppx_optional";
 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"