From 93a93e9a3b53c1a73142a305ea1f8136846942ee Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Wed, 22 Dec 2021 14:08:05 +0000
Subject: gentoo resync : 22.12.2021

---
 dev-ml/qcheck/Manifest           |  3 +++
 dev-ml/qcheck/metadata.xml       | 13 +++++++++++++
 dev-ml/qcheck/qcheck-0.18.ebuild | 36 ++++++++++++++++++++++++++++++++++++
 3 files changed, 52 insertions(+)
 create mode 100644 dev-ml/qcheck/Manifest
 create mode 100644 dev-ml/qcheck/metadata.xml
 create mode 100644 dev-ml/qcheck/qcheck-0.18.ebuild

(limited to 'dev-ml/qcheck')

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
+}
-- 
cgit v1.2.3