From 491e80986777b190b4ac2b285276793a4467c36c Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Sun, 13 Sep 2020 18:03:18 +0200
Subject: [PATCH] ocamlPackages.qcheck-alcotest: init at 0.15

---
 pkgs/development/ocaml-modules/qcheck/alcotest.nix | 13 +++++++++++++
 pkgs/top-level/ocaml-packages.nix                  |  2 ++
 2 files changed, 15 insertions(+)
 create mode 100644 pkgs/development/ocaml-modules/qcheck/alcotest.nix

diff --git a/pkgs/development/ocaml-modules/qcheck/alcotest.nix b/pkgs/development/ocaml-modules/qcheck/alcotest.nix
new file mode 100644
index 000000000000..4f1baec1e556
--- /dev/null
+++ b/pkgs/development/ocaml-modules/qcheck/alcotest.nix
@@ -0,0 +1,13 @@
+{ buildDunePackage, qcheck-core, alcotest }:
+
+buildDunePackage {
+  pname = "qcheck-alcotest";
+
+  inherit (qcheck-core) version src;
+
+  propagatedBuildInputs = [ qcheck-core alcotest ];
+
+  meta = qcheck-core.meta // {
+    description = "Alcotest backend for qcheck";
+  };
+}
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 92dfb4ba6463..9ea32ed8e9e2 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -886,6 +886,8 @@ let
 
     pycaml = callPackage ../development/ocaml-modules/pycaml { };
 
+    qcheck-alcotest = callPackage ../development/ocaml-modules/qcheck/alcotest.nix { };
+
     qcheck-core = callPackage ../development/ocaml-modules/qcheck/core.nix { };
 
     qcheck-ounit = callPackage ../development/ocaml-modules/qcheck/ounit.nix { };