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

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

[Alfredo Tupone]

commit:     77fdf2bd964f466345e5c74a91ce5efae62fa156
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 11 05:12:57 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Jun 11 05:13:18 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=77fdf2bd

dev-ml/ppx_compare: add 0.17.0

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

 dev-ml/ppx_compare/Manifest                  |  1 +
 dev-ml/ppx_compare/ppx_compare-0.17.0.ebuild | 24 ++++++++++++++++++++++++
 profiles/package.mask                        |  1 +
 3 files changed, 26 insertions(+)

diff --git a/dev-ml/ppx_compare/Manifest b/dev-ml/ppx_compare/Manifest
index dabee37b3139..c4caedc625f0 100644
--- a/dev-ml/ppx_compare/Manifest
+++ b/dev-ml/ppx_compare/Manifest
@@ -1,3 +1,4 @@
 DIST ppx_compare-0.14.0.tar.gz 13614 BLAKE2B 081e91192f987095a773964b56838b05fb18ea23599eeeb28d297ac81ff7439067ffa0941cf4d64921abad68f9dca90560463b9f059f35ed3147333ba697a88c SHA512 be02c8114e0915439c04b3d796029ad124e9a2e637032d6a86a41c03b81985cb0f68f65bc43c1d12221b521f6fa10006a105b3ffe95e991ed9695692fd0763cb
 DIST ppx_compare-0.15.0.tar.gz 13905 BLAKE2B 6c3f3b8fba090bc1e0b0aecaed116ac25cb54cb2146ba96dda4dd2819753be3ba0dacd2a2ec45bb22441be0760056f7a91ed546b50276e3ee8931cce178ad273 SHA512 2c2ae8bdaf08a478bcabdcdcd724abb53773c8633273d3d7a9f8a8eab01d04c281d11299f2890a2f9919adcf38a65bcfcfd79c613f27325e536e2d7cf0527781
 DIST ppx_compare-0.16.0.tar.gz 14041 BLAKE2B 7f6eaaafa75e49e09cef26b2e6579fd9cd18a67e4b73fe727cca0988bf062eda2f4c11424ee449ad6d82923d8f08ffbeda0f1e05e2a940f7360c64beeb03d98e SHA512 8acbb52a841012fc81efa0f8c1df4d8f0595bddbaf723aed4702d0f7917552ac4c08f6b971c1aaf765460a512f2fca46fe8bbe14fb1b021a3fe3be4181bdb030
+DIST ppx_compare-0.17.0.tar.gz 16468 BLAKE2B 0285ff34946bff29f1b1fd17d0318e255e1959268352167cac25622e8d8ce8b13ec1e5dc6cd8af963289bf33a847d22b391c8f32ddbdc0f5bc7fe62fcbc81c03 SHA512 1854dd86ea43ec1076c3de9001eefea5dd936bfa9a91dd1ce577caf1fb558db6455450043190b62bad449b9d7f4c6ad97aaa25c0032d19f776cc68610ba86210

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

diff --git a/profiles/package.mask b/profiles/package.mask
index 30e913e0df77..e60b4cda0f7f 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -181,6 +181,7 @@ dev-ml/stdio:0/0.17
 >=dev-ml/ppxlib-0.32.1
 dev-ml/ppx_cold:0/0.17
 dev-ml/ppxlib_jane
+dev-ml/ppx_compare:0/0.17
 
 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.