ocamlPackages.qcheck-lin: init at 0.2

This commit is contained in:
Vincent Laporte 2023-08-21 07:33:39 +02:00
parent aa47da4c2c
commit 991356c807
No known key found for this signature in database
GPG key ID: EBD582ADDDB1F81F
2 changed files with 19 additions and 0 deletions

View file

@ -0,0 +1,17 @@
{ buildDunePackage
, qcheck-multicoretests-util
}:
buildDunePackage {
pname = "qcheck-lin";
inherit (qcheck-multicoretests-util) version src;
propagatedBuildInputs = [ qcheck-multicoretests-util ];
doCheck = true;
meta = qcheck-multicoretests-util.meta // {
description = "A multicore testing library for OCaml";
};
}

View file

@ -1464,6 +1464,8 @@ let
qcheck-core = callPackage ../development/ocaml-modules/qcheck/core.nix { };
qcheck-lin = callPackage ../development/ocaml-modules/qcheck/lin.nix { };
qcheck-multicoretests-util = callPackage ../development/ocaml-modules/qcheck/multicoretests-util.nix { };
qcheck-ounit = callPackage ../development/ocaml-modules/qcheck/ounit.nix { };