From 10fef19f4b16b9097d4e510b1758a30e08027192 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Sun, 13 Sep 2020 18:03:22 +0200
Subject: [PATCH] =?UTF-8?q?ocamlPackages.qcheck:=200.7=20=E2=86=92=200.15?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../ocaml-modules/qcheck/default.nix          | 31 +++++--------------
 1 file changed, 8 insertions(+), 23 deletions(-)

diff --git a/pkgs/development/ocaml-modules/qcheck/default.nix b/pkgs/development/ocaml-modules/qcheck/default.nix
index be625f4d8d7..2a0e6c0ae40 100644
--- a/pkgs/development/ocaml-modules/qcheck/default.nix
+++ b/pkgs/development/ocaml-modules/qcheck/default.nix
@@ -1,29 +1,14 @@
-{ stdenv, fetchzip, ocaml, findlib, ocamlbuild, ounit }:
+{ buildDunePackage, qcheck-ounit }:
 
-assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4";
+buildDunePackage {
+  pname = "qcheck";
 
-stdenv.mkDerivation {
+  inherit (qcheck-ounit) version src;
 
-  name = "ocaml${ocaml.version}-qcheck-0.7";
-  src = fetchzip {
-    url = "https://github.com/c-cube/qcheck/archive/0.7.tar.gz";
-    sha256 = "1afy7li74r3ivpvq670gvsj1rmglh5rnvb17p6w8gy5rh30aljah";
+  propagatedBuildInputs = [ qcheck-ounit ];
+
+  meta = qcheck-ounit.meta // {
+    description = "Compatibility package for qcheck";
   };
 
-  buildInputs = [ ocaml findlib ocamlbuild ounit ];
-
-  configureFlags = [ "--enable-tests" ];
-
-  doCheck = true;
-  checkPhase = "ocaml setup.ml -test";
-
-  createFindlibDestdir = true;
-
-  meta = {
-    description = "QuickCheck inspired property-based testing for OCaml";
-    homepage = "https://github.com/c-cube/qcheck/";
-    license = stdenv.lib.licenses.bsd2;
-    maintainers = with stdenv.lib.maintainers; [ vbgl ];
-    platforms = ocaml.meta.platforms or [];
-  };
 }