diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-28 14:51:38 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-28 14:51:38 +0000 |
| commit | d414c993cafd9e31a370c4a5aae042c710df2419 (patch) | |
| tree | a4e123f32e84e3c7c7fdde2f083b1831f018bef6 /dev-ml/qcheck | |
| parent | 21dbcce41990b13f301240313be05c8d013a9258 (diff) | |
gentoo auto-resync : 28:01:2023 - 14:51:38
Diffstat (limited to 'dev-ml/qcheck')
| -rw-r--r-- | dev-ml/qcheck/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/qcheck/qcheck-0.20.ebuild | 36 |
2 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest index a3c582115245..35845ac21eb3 100644 --- a/dev-ml/qcheck/Manifest +++ b/dev-ml/qcheck/Manifest @@ -1,3 +1,5 @@ DIST qcheck-0.18.tar.gz 105588 BLAKE2B 1c785815ed2d016852ebea3cdbfd1002bcc1054dba95db9290185d1283c9af9a3461fa66f24d43437789b7f361050a227ceed5c45327c694ae3a2846688f195e SHA512 08da783ca991dcee26f88b8d6db2fcf2589d3e753ce355d5e3c8944b58ce43b444c6cde054971a557d7d345b4386e6e976111d4c537840a1269c7e361340fcfe +DIST qcheck-0.20.tar.gz 205616 BLAKE2B af693ccc2830a70e3ab783a05da828b54ff9ac357fa01cb2ddc3db29901c120a9c48b0c6090e5324aecaf4b8455001883c62e5e39963172aa5e0b124294169d9 SHA512 1fb178bee5353b870fe55e5c5379982345c2e1b7f417733be4168e8a58d448d26464d73f8a4470655ddea2701a2a44bc5b08b0de422c0f88f229d8a1ed9c3e87 EBUILD qcheck-0.18.ebuild 727 BLAKE2B ca4ed46b96c98ff1908a51456e4a54c6adb3b57cb2922d07258f51c4f99d5fc8cb1f619d867363652ce55193c38bd990b9cf3e5e60dac4b839d4727b2c053699 SHA512 224e8c127acfa7e4247fa96485637687afd0e5680de79f84a0c097508894edee809e762a2632c2d747b5d114b770abc7be758afe168daeaf8b22665a4ec62e0f +EBUILD qcheck-0.20.ebuild 727 BLAKE2B 96ca6a3156a67aee718a3bb6d62b2716564440821979815f8a7e7b26cb9dfff88ea9b193e4e3f7d23a0b3416c2ee4c542a2dec7d0e849e78cc1aa5b271364b63 SHA512 4715bafdc10aed34375216e13050595cb879d1a23b96010402db220c4bcd35552283401e926ca59db8d4de54d2f83820b7ddd0ca8a217a09ad86384ab145b60d MISC metadata.xml 386 BLAKE2B f81a52a0af6e27be6c9f1f4626e9e5cab4c0c94d80b37c0207fa5dfe6b649bd97d59f6c6a3287a5daa4cc992e2522611281bf275545bd0a8def330454898e3af SHA512 1890b50086763886883300812dd149c55df6af5d60117ca8331ebd6ee5d7874e4f7d729de0a8a959dd28a0bda92d4eec55b3aa2fc9e08d36cbd739b5dc9e5d5e diff --git a/dev-ml/qcheck/qcheck-0.20.ebuild b/dev-ml/qcheck/qcheck-0.20.ebuild new file mode 100644 index 000000000000..9a40d01067cd --- /dev/null +++ b/dev-ml/qcheck/qcheck-0.20.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="QuickCheck inspired property-based testing for OCaml" +HOMEPAGE="https://github.com/c-cube/qcheck" +SRC_URI="https://github.com/c-cube/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="BSD-2" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" +RESTRICT="test" # tests fail + +RDEPEND=" + dev-ml/alcotest:= + dev-ml/ounit2:= +" +DEPEND="${RDEPEND}" + +src_install() { + # "ppx_deriving_qcheck" does not install but only "ppx_pbt" depends on it + local i + for i in qcheck qcheck-alcotest qcheck-core qcheck-ounit ; do + dune_src_install ${i} + done + + einstalldocs +} + +src_test() { + emake test +} |