pkgs/development/ocaml-modules/saturn/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

{ lib, 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";
  };

}