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

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

[Alfredo Tupone]

commit:     745097c814fe4d74d9d2717733467165423a9fd4
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 14 17:19:12 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 14 17:23:48 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=745097c8

dev-ml/capitalization: new package, add 0.17.0

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

 dev-ml/capitalization/Manifest                     |  1 +
 dev-ml/capitalization/capitalization-0.17.0.ebuild | 24 ++++++++++++++++++++++
 dev-ml/capitalization/metadata.xml                 | 11 ++++++++++
 profiles/package.mask                              |  1 +
 4 files changed, 37 insertions(+)

diff --git a/dev-ml/capitalization/Manifest b/dev-ml/capitalization/Manifest
new file mode 100644
index 000000000000..94ecee566c5a
--- /dev/null
+++ b/dev-ml/capitalization/Manifest
@@ -0,0 +1 @@
+DIST capitalization-0.17.0.tar.gz 5267 BLAKE2B 3245c2faf1616957745aa54590f59a4934032b17577da7f4c1d14314259df43cc719edcfd4ddf1b3db68a93da36d62cc01f0b1b44fdc0371611ec43f1c8d1156 SHA512 eec8ad41b31dd761c174b1d97032fba0305a0b82509927b1bbefe119a67b5b0660e0d45fc035a456a52852a9fdaccd6e4f2ce0447c593ee4c93afe7b52179f8c

diff --git a/dev-ml/capitalization/capitalization-0.17.0.ebuild b/dev-ml/capitalization/capitalization-0.17.0.ebuild
new file mode 100644
index 000000000000..67ef67b2a285
--- /dev/null
+++ b/dev-ml/capitalization/capitalization-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="Defines case conventions and functions to rename identifiers according to them"
+HOMEPAGE="https://github.com/janestreet/capitalization"
+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/ppx_base:${SLOT}[ocamlopt?]
+	>=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"

diff --git a/dev-ml/capitalization/metadata.xml b/dev-ml/capitalization/metadata.xml
new file mode 100644
index 000000000000..54627302ffa3
--- /dev/null
+++ b/dev-ml/capitalization/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="project">
+		<email>ml@gentoo.org</email>
+		<name>ML</name>
+	</maintainer>
+	<upstream>
+		<remote-id type="github">janestreet/capitalization</remote-id>
+	</upstream>
+</pkgmetadata>

diff --git a/profiles/package.mask b/profiles/package.mask
index 059edc63d0ac..85f8410f1486 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -259,6 +259,7 @@ 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
+dev-ml/capitalization:0/0.17
 
 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.