From 6698fd456eed52fdf91e5fd48b6d6cef478ff3ff Mon Sep 17 00:00:00 2001 From: Vincent Laporte <Vincent.Laporte@gmail.com> Date: Mon, 21 Aug 2023 07:33:44 +0200 Subject: [PATCH] ocamlPackages.qcheck-stm: init at 0.2 --- pkgs/development/ocaml-modules/qcheck/stm.nix | 17 +++++++++++++++++ pkgs/top-level/ocaml-packages.nix | 2 ++ 2 files changed, 19 insertions(+) create mode 100644 pkgs/development/ocaml-modules/qcheck/stm.nix diff --git a/pkgs/development/ocaml-modules/qcheck/stm.nix b/pkgs/development/ocaml-modules/qcheck/stm.nix new file mode 100644 index 000000000000..a4cd762ea5e4 --- /dev/null +++ b/pkgs/development/ocaml-modules/qcheck/stm.nix @@ -0,0 +1,17 @@ +{ buildDunePackage +, qcheck-multicoretests-util +}: + +buildDunePackage { + pname = "qcheck-stm"; + + inherit (qcheck-multicoretests-util) src version; + + propagatedBuildInputs = [ qcheck-multicoretests-util ]; + + doCheck = true; + + meta = qcheck-multicoretests-util.meta // { + description = "State-machine testing library for sequential and parallel model-based tests"; + }; +} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index f62c7364302a..b50358e4f2ec 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1470,6 +1470,8 @@ let qcheck-ounit = callPackage ../development/ocaml-modules/qcheck/ounit.nix { }; + qcheck-stm = callPackage ../development/ocaml-modules/qcheck/stm.nix { }; + qtest = callPackage ../development/ocaml-modules/qtest { }; ### R ###