diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-09-13 18:03:18 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-09-16 05:57:19 +0200 |
| commit | 491e80986777b190b4ac2b285276793a4467c36c (patch) | |
| tree | a910ead6e67273df996f3afa6767ec7ff78efd6b /pkgs | |
| parent | 79a0130dbde8a804289d8598d72bfe1794e6f333 (diff) | |
ocamlPackages.qcheck-alcotest: init at 0.15
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/ocaml-modules/qcheck/alcotest.nix | 13 | ||||
| -rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 2 |
2 files changed, 15 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/qcheck/alcotest.nix b/pkgs/development/ocaml-modules/qcheck/alcotest.nix new file mode 100644 index 0000000000000..4f1baec1e556f --- /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 92dfb4ba6463f..9ea32ed8e9e23 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 { }; |