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

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

[Alfredo Tupone]

commit:     d0bfb6296fd8bb4efd0ea5e395809f6c889b7c3a
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 14 17:19:01 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 14 17:23:44 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d0bfb629

dev-ml/ppx_tydi: add 0.17.0

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

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

diff --git a/dev-ml/ppx_tydi/Manifest b/dev-ml/ppx_tydi/Manifest
index 924e89640804..ecfb8e263153 100644
--- a/dev-ml/ppx_tydi/Manifest
+++ b/dev-ml/ppx_tydi/Manifest
@@ -1 +1,2 @@
 DIST ppx_tydi-0.16.0.tar.gz 4583 BLAKE2B b0390da844dacdbe0492dcf9141ae4356ed8b08af328b51a8f6bd7190b58dd4590606f2375338ce5f799ed140b4652e400c5e68ea2dee8a939a464fe9d681513 SHA512 83e72699901af6dfb786f1f0a381f4a2eec6c5d51c98ec2ab76f0f107d87da7c406278a9e71c09fc7a43b8cd19cd97f87f3ba7adea2efe55fb882cd65b81d60b
+DIST ppx_tydi-0.17.0.tar.gz 4620 BLAKE2B dd2a9070723373e0100a8124f627e739557e178251a8531539c30d40db4afd9b2f40e00b92733362614866b3c9ca8d7f5424d7da3a294c9f2a83eda206ceadb6 SHA512 f853b367116c45a26b5b87c2f42b487a8786cdbbf6861da902a0305e4eb386b8b0a838f0b1d9058bee8f2a94e83c622424734646e78406f38cfd5d3f26da4569

diff --git a/dev-ml/ppx_tydi/ppx_tydi-0.17.0.ebuild b/dev-ml/ppx_tydi/ppx_tydi-0.17.0.ebuild
new file mode 100644
index 000000000000..ad82b19edd96
--- /dev/null
+++ b/dev-ml/ppx_tydi/ppx_tydi-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="Let expressions, inferring pattern type from expression"
+HOMEPAGE="https://github.com/janestreet/ppx_tydi"
+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 ~riscv"
+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 00a1b0d1a7c1..059edc63d0ac 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -258,6 +258,7 @@ dev-ml/ppx_log:0/0.17
 dev-ml/ppx_ignore_instrumentation:0/0.17
 dev-ml/typerep:0/0.17
 dev-ml/ppx_typerep_conv:0/0.17
+dev-ml/ppx_tydi:0/0.17
 
 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.