diff options
| -rw-r--r-- | dev-ml/base_quickcheck/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/base_quickcheck/base_quickcheck-0.17.1.ebuild | 44 |
2 files changed, 45 insertions, 0 deletions
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest index 7254d45b3aa1..1c3405725b3d 100644 --- a/dev-ml/base_quickcheck/Manifest +++ b/dev-ml/base_quickcheck/Manifest @@ -1,3 +1,4 @@ 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 +DIST base_quickcheck-0.17.1.tar.gz 67058 BLAKE2B 02ffc2a816a4e84e92d6839777ea429f9f06361ecbc5705481bc6c385a5ce80c04f8eb5d0a34f04838dce983f70a1bb15c20cc5b48917c753cca076fe36a8982 SHA512 d345b0333508f6f49fe636455139e563b0594bd2cf56534d2f42ed083906e41bb4e009996ed7db8989d8409899d25cfcdbd71021260486c310f7e0fd63df56d9 diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.17.1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.17.1.ebuild new file mode 100644 index 000000000000..2404ffdbe74f --- /dev/null +++ b/dev-ml/base_quickcheck/base_quickcheck-0.17.1.ebuild @@ -0,0 +1,44 @@ +# Copyright 1999-2025 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" + +# Jane Street Minor +JSM=$(ver_cut 1-2)* + +RDEPEND=" + >=dev-lang/ocaml-5 + =dev-ml/base-${JSM}:=[ocamlopt?] + =dev-ml/ppx_base-${JSM}:=[ocamlopt?] + =dev-ml/ppx_compare-${JSM}:=[ocamlopt?] + =dev-ml/ppx_cold-${JSM}:=[ocamlopt?] + =dev-ml/ppx_enumerate-${JSM}:=[ocamlopt?] + =dev-ml/ppx_fields_conv-${JSM}:=[ocamlopt?] + =dev-ml/ppx_globalize-${JSM}:=[ocamlopt?] + >=dev-ml/ppx_globalize-0.17.2 + =dev-ml/ppx_hash-${JSM}:=[ocamlopt?] + =dev-ml/ppx_here-${JSM}:=[ocamlopt?] + =dev-ml/ppx_let-${JSM}:=[ocamlopt?] + >=dev-ml/ppx_let-0.17.1 + =dev-ml/ppx_sexp_conv-${JSM}:=[ocamlopt?] + >=dev-ml/ppx_sexp_conv-0.17.1 + =dev-ml/ppx_sexp_message-${JSM}:=[ocamlopt?] + =dev-ml/ppx_sexp_value-${JSM}:=[ocamlopt?] + =dev-ml/ppxlib_jane-${JSM}:=[ocamlopt?] + >=dev-ml/ppxlib_jane-0.17.4 + =dev-ml/splittable_random-${JSM}:=[ocamlopt?] + >=dev-ml/ppxlib-0.36.0:=[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" |