dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #250493 from vbgl/ocaml-qcheck-stm-0.2

Browse Source 
ocamlPackages.qcheck-{lin,stm}: init at 0.2
This commit is contained in:
Ulrik Strid 2023-08-21 09:56:52 +02:00 committed by GitHub
commit d92c5c1d9d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 68 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/development/ocaml-modules/qcheck/lin.nix Normal file
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";
};
}

28
pkgs/development/ocaml-modules/qcheck/multicoretests-util.nix Normal file
View File

@ -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 ];
};
}

17
pkgs/development/ocaml-modules/qcheck/stm.nix Normal file
View File

@ -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";
};
}

6
pkgs/top-level/ocaml-packages.nix
View File

@ -1464,8 +1464,14 @@ 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 { };
qcheck-stm = callPackage ../development/ocaml-modules/qcheck/stm.nix { };
qtest = callPackage ../development/ocaml-modules/qtest { };
### R ###