From aa47da4c2c37d2889c85885c401c805bf4fb9844 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 21 Aug 2023 07:33:34 +0200 Subject: [PATCH] ocamlPackages.qcheck-multicoretests-util: init at 0.2 --- .../qcheck/multicoretests-util.nix | 28 +++++++++++++++++++ pkgs/top-level/ocaml-packages.nix | 2 ++ 2 files changed, 30 insertions(+) create mode 100644 pkgs/development/ocaml-modules/qcheck/multicoretests-util.nix diff --git a/pkgs/development/ocaml-modules/qcheck/multicoretests-util.nix b/pkgs/development/ocaml-modules/qcheck/multicoretests-util.nix new file mode 100644 index 000000000000..ec3ba0b1dac1 --- /dev/null +++ b/pkgs/development/ocaml-modules/qcheck/multicoretests-util.nix @@ -0,0 +1,28 @@ +{ lib, fetchFromGitHub, buildDunePackage +, qcheck-core +}: + +buildDunePackage rec { + pname = "qcheck-multicoretests-util"; + version = "0.2"; + + src = fetchFromGitHub { + owner = "ocaml-multicore"; + repo = "multicoretests"; + rev = version; + hash = "sha256-U1ZqfWMwpAvbPq5yp2U9YTFklT4MypzTSfNvcKJfaYE="; + }; + + propagatedBuildInputs = [ qcheck-core ]; + + doCheck = true; + + minimalOCamlVersion = "4.12"; + + meta = { + homepage = "https://github.com/ocaml-multicore/multicoretests"; + description = "Utility functions for property-based testing of multicore programs"; + license = lib.licenses.bsd2; + maintainers = [ lib.maintainers.vbgl ]; + }; +} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 457f306698e9..3aea5e90b02e 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1464,6 +1464,8 @@ let qcheck-core = callPackage ../development/ocaml-modules/qcheck/core.nix { }; + qcheck-multicoretests-util = callPackage ../development/ocaml-modules/qcheck/multicoretests-util.nix { }; + qcheck-ounit = callPackage ../development/ocaml-modules/qcheck/ounit.nix { }; qtest = callPackage ../development/ocaml-modules/qtest { };