diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2021-12-22 14:08:05 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2021-12-22 14:08:05 +0000 |
| commit | 93a93e9a3b53c1a73142a305ea1f8136846942ee (patch) | |
| tree | b9791a06ab3284e27b568412c59316c66240c682 /dev-ml/qcheck | |
| parent | 2771f79232c273bc2a57d23bf335dd81ccf6af28 (diff) | |
gentoo resync : 22.12.2021
Diffstat (limited to 'dev-ml/qcheck')
| -rw-r--r-- | dev-ml/qcheck/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/qcheck/metadata.xml | 13 | ||||
| -rw-r--r-- | dev-ml/qcheck/qcheck-0.18.ebuild | 36 |
3 files changed, 52 insertions, 0 deletions
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest new file mode 100644 index 000000000000..bc2f2b2dab3f --- /dev/null +++ b/dev-ml/qcheck/Manifest @@ -0,0 +1,3 @@ +DIST qcheck-0.18.tar.gz 105588 BLAKE2B 1c785815ed2d016852ebea3cdbfd1002bcc1054dba95db9290185d1283c9af9a3461fa66f24d43437789b7f361050a227ceed5c45327c694ae3a2846688f195e SHA512 08da783ca991dcee26f88b8d6db2fcf2589d3e753ce355d5e3c8944b58ce43b444c6cde054971a557d7d345b4386e6e976111d4c537840a1269c7e361340fcfe +EBUILD qcheck-0.18.ebuild 727 BLAKE2B ca4ed46b96c98ff1908a51456e4a54c6adb3b57cb2922d07258f51c4f99d5fc8cb1f619d867363652ce55193c38bd990b9cf3e5e60dac4b839d4727b2c053699 SHA512 224e8c127acfa7e4247fa96485637687afd0e5680de79f84a0c097508894edee809e762a2632c2d747b5d114b770abc7be758afe168daeaf8b22665a4ec62e0f +MISC metadata.xml 385 BLAKE2B 983f241d0a0625a80c71abfde9fd8a18fb3639da17b8ae16e1c695520ec4df991743a354a89fbd663ee28d3c9962254c84f1273f53877655bd5666259a00a79d SHA512 b55436e7e1e299b96ba9b10471eb327639017b535d4cfcf2645b6e430e95b610e7dcc5144452ae9a84943adc1e52e1718d438a7ab0a7d8dbda087fa02f3188b3 diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml new file mode 100644 index 000000000000..03e91c67d610 --- /dev/null +++ b/dev-ml/qcheck/metadata.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <bugs-to>https://github.com/c-cube/qcheck/issues/</bugs-to> + <remote-id type="github">c-cube/qcheck</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/qcheck/qcheck-0.18.ebuild b/dev-ml/qcheck/qcheck-0.18.ebuild new file mode 100644 index 000000000000..5732be261e72 --- /dev/null +++ b/dev-ml/qcheck/qcheck-0.18.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +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 +} |