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

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

[Alfredo Tupone]

commit:     24131cc874be41bc8698103b147d9853dd45b1e9
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 15 11:52:28 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jun 15 15:55:05 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=24131cc8

dev-ml/int_repr: add 0.17.0

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

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

diff --git a/dev-ml/int_repr/Manifest b/dev-ml/int_repr/Manifest
index 719a48718198..aeca8f46df14 100644
--- a/dev-ml/int_repr/Manifest
+++ b/dev-ml/int_repr/Manifest
@@ -1,2 +1,3 @@
 DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f
 DIST int_repr-0.16.0.tar.gz 9227 BLAKE2B 4dfb7a21cfe2bbd27051005f7eb1452925cac30b86ce3b20aeecbc0b2cf52966cbabbd9d56fa1fadfdc3c3912b33c4a1b323cfaf46e6c027ef6c31b4893e8901 SHA512 1b395d2c5c2322a8948f09e2b1c53382902edb1a390bc4659baf8eb87d085c90e551ede171a0d4d4b3c6fec18210ff100b02565461b42cabaedc446551c79841
+DIST int_repr-0.17.0.tar.gz 9585 BLAKE2B 482001315db80c0f267569ba9b0221de0ccd01f13fb5634dec3ebf5855dfbad72e216b414022e894a3ba7cdb30e197ec94b2084195a0f97891b191037551e6c9 SHA512 f8c73d61a8db553be0f09c1b7bb9efe97e46a739aa2f43316ef66e88e78c9f739a59f6f5d48ff3ae24540b96323db86512edbb73114276c9d3fb55dcd6a9e77b

diff --git a/dev-ml/int_repr/int_repr-0.17.0.ebuild b/dev-ml/int_repr/int_repr-0.17.0.ebuild
new file mode 100644
index 000000000000..ea5c7697f16a
--- /dev/null
+++ b/dev-ml/int_repr/int_repr-0.17.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 2022-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Integers of various widths"
+HOMEPAGE="https://github.com/janestreet/int_repr"
+SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/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_jane:${SLOT}[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"

diff --git a/profiles/package.mask b/profiles/package.mask
index aa8d06ec1a4a..36512c7f6b12 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -286,6 +286,7 @@ dev-ml/ppx_bin_prot:0/0.17
 dev-ml/ppx_jane:0/0.17
 dev-ml/gel:0/0.17
 dev-ml/ppx_diff:0/0.17
+dev-ml/int_repr:0/0.17
 
 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.