diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix b/nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix new file mode 100644 index 000000000000..855935aff672 --- /dev/null +++ b/nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix @@ -0,0 +1,21 @@ +{ lib, fetchurl, buildDunePackage, ocaml +, saturn_lockfree +, dscheck +, qcheck, qcheck-alcotest, qcheck-stm +}: + +buildDunePackage rec { + pname = "saturn"; + + inherit (saturn_lockfree) src version; + + propagatedBuildInputs = [ saturn_lockfree ]; + + doCheck = lib.versionAtLeast ocaml.version "5.0"; + checkInputs = [ dscheck qcheck qcheck-alcotest qcheck-stm ]; + + meta = saturn_lockfree.meta // { + description = "Parallelism-safe data structures for multicore OCaml"; + }; + +} |