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

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

[Alfredo Tupone]

commit:     bdfb0fc03b04953656f7a75b979537501319f9ea
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 13 16:55:00 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jun 13 16:55:15 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bdfb0fc0

dev-ml/base_quickcheck: add 0.17.0

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

 dev-ml/base_quickcheck/Manifest                    |  1 +
 .../base_quickcheck/base_quickcheck-0.17.0.ebuild  | 30 ++++++++++++++++++++++
 profiles/package.mask                              |  1 +
 3 files changed, 32 insertions(+)

diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index fc38fa1c0eb6..1126040d2623 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -2,3 +2,4 @@ DIST base_quickcheck-0.14.0.tar.gz 66736 BLAKE2B eeaa92ec0eec4736be911128f46b8e4
 DIST base_quickcheck-0.14.1.tar.gz 66827 BLAKE2B 2a274fc0edab3daf7e3d671f7ea24912ecf273cf2b4cb4ab2bd74171a8848163526f97ed860b44aeaa9f3f3faabb22f4598bf604b33c8401733faa22ca7a3c93 SHA512 5d5a3a070a6903ffdd1e13754721d48a9df164f78bd569d3a18b3fd808354550e4603b76d5e48eaa6a4c4d3433f18bb29888478d640fde9ea004619448c3d7d0
 DIST base_quickcheck-0.15.0.tar.gz 73702 BLAKE2B 0f671b6e48d38ac92b8e5150c1b6f7c4a1326cf12fcf3c14edf7ef376ca1769f8d708755a3b6cfc69a4d74de8d84affbc14838fc9385f487f2053936f1f116fa SHA512 e5362d70469c085239efaabbca6ca2558cb1609dfd2c3715d5c31047c8ae34b8304b9d28636806305f226929b0f9e3518b409de08f42f389963378f2aee6b351
 DIST base_quickcheck-0.16.0.tar.gz 76738 BLAKE2B b54fac86332bfe06b767345898c2e1a7a6f70de26cb06d16467d634eee3117d7ab571f611d17f692776c519dfa4ab7de9c948b08e44016e1e05fdff565a16246 SHA512 c859f2982140ec72b3377e3f167117df43f8cb14b62d3949e92ecf479cb27b4c31bb2dfa9111da24ce42f969452582ba076aef868d304b97c08f2918759cc291
+DIST base_quickcheck-0.17.0.tar.gz 67016 BLAKE2B acd54bfeb74a3b7f8f72fdcc4b92c8dd161f87f82bb6eca175d15947b6a04b9e13015c10562a5ce1a93c6019498d7c2f9f65dc2a7a5bbfcd78011e5731aabb04 SHA512 66503fd6c94bc7f68bf24ce554cefc681df0fd54b9d72539de51047a193143153f0332d81ee2c94e860b7c6953266ce79b64ef32f904150b0c9c70f7c43069d4

diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.17.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.17.0.ebuild
new file mode 100644
index 000000000000..31d98c400677
--- /dev/null
+++ b/dev-ml/base_quickcheck/base_quickcheck-0.17.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Randomized testing framework, designed for compatibility with Base"
+HOMEPAGE="https://github.com/janestreet/base_quickcheck"
+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/ppx_fields_conv:${SLOT}[ocamlopt?]
+	dev-ml/ppx_let:${SLOT}[ocamlopt?]
+	dev-ml/ppx_sexp_message:${SLOT}[ocamlopt?]
+	dev-ml/ppx_sexp_value:${SLOT}[ocamlopt?]
+	dev-ml/ppxlib_jane:${SLOT}[ocamlopt?]
+	dev-ml/splittable_random:${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 fb3a58459193..dbf77bfa1184 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -203,6 +203,7 @@ dev-ml/time_now:0/0.17
 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
 
 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.