[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_stable/, profiles/

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_stable/, profiles/

[Alfredo Tupone]

commit:     9c18641b2867390d0c574a42766598567fbbce7d
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 13 17:08:24 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jun 13 17:19:55 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9c18641b

dev-ml/ppx_stable: add 0.17.0

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/ppx_stable/Manifest                 |  1 +
 dev-ml/ppx_stable/ppx_stable-0.17.0.ebuild | 23 +++++++++++++++++++++++
 profiles/package.mask                      |  1 +
 3 files changed, 25 insertions(+)

diff --git a/dev-ml/ppx_stable/Manifest b/dev-ml/ppx_stable/Manifest
index e5974b784c2e..a7cd8a92d25b 100644
--- a/dev-ml/ppx_stable/Manifest
+++ b/dev-ml/ppx_stable/Manifest
@@ -1,3 +1,4 @@
 DIST ppx_stable-0.14.1.tar.gz 12031 BLAKE2B 837a53206d3a8d651d53f665daebbcfde3a1b5d55f1ed13d3ac8feecbd9ba0fb24ad7bb1cf24a0bfa00a41a46c3ef0f84385bc8792685f42ef18facf88ce348f SHA512 1c99a61537a2ce7d40208c64efbf71c54726b228d3746f2afaf9e813b3fed9c8016bb2eb859be24993c7c922a34f574e1028db8e7ee922d4772336dc0496df74
 DIST ppx_stable-0.15.0.tar.gz 18143 BLAKE2B cfd317f98c7683bd2faf29eb386939f07b30798f16e43abdfe9361f9f3d373d4b64ed13aa87f300e5f14052ad1bc636d402af84c9f15d9e26d7b2dc976c812af SHA512 1be50f061d55ea0fcb8bd846955da3ceb07b97986d74a06b41c0f6b5c0dfb3a55f9e39e47f64ae227ecce89dd31dc3b03082031748982419d4ce9a14b5cdb436
 DIST ppx_stable-0.16.0.tar.gz 18298 BLAKE2B 3308ecc99f3c5a6c9b5a270f04effc62dfdb52116b91255eb0383e3244a2710124a211a81d52954ee5ac94251f84847d12787dd79b7c3d96a68d1bd4abf52458 SHA512 bbc40494718d99228e194f766be75c67a657cb50fe6090d05ba30606be40406c93323b64ae3d2400ab6a1563c3e9fa04c2ba82da7db47b7c1cfec103f75d19cb
+DIST ppx_stable-0.17.0.tar.gz 24850 BLAKE2B 7197c96be025f61cfec88b9157f03dc76b38099d18b81f884352ca5f4cbc8cac2bf42d3a37dcda974dbfc73aacbc83a68eb158c5d7dea6a637e603057d2dc728 SHA512 1e13b874e803f16e175ebd61928d1486586974067f54f40de196bc300df347a5ac83841c214c024d98196e0d5a1e443a9d9c52f14fc04571826099b292ba6113

diff --git a/dev-ml/ppx_stable/ppx_stable-0.17.0.ebuild b/dev-ml/ppx_stable/ppx_stable-0.17.0.ebuild
new file mode 100644
index 000000000000..a72924e401fc
--- /dev/null
+++ b/dev-ml/ppx_stable/ppx_stable-0.17.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Stable types conversions generator"
+HOMEPAGE="https://github.com/janestreet/ppx_stable"
+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 ~arm64 ~ppc ~ppc64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+	>=dev-lang/ocaml-5
+	dev-ml/base:${SLOT}[ocamlopt?]
+	>=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"

diff --git a/profiles/package.mask b/profiles/package.mask
index dbf77bfa1184..d9076e470623 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -204,6 +204,7 @@ dev-ml/ppx_inline_test:0/0.17
 dev-ml/ppx_bench:0/0.17
 dev-ml/splittable_random:0/0.17
 dev-ml/base_quickcheck:0/0.17
+dev-ml/ppx_stable:0/0.17
 
 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.