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

   1 {
   2   lib,
   3   buildDunePackage,
   4   ocaml,
   5   saturn_lockfree,
   6   domain_shims,
   7   dscheck,
   8   multicore-bench,
   9   qcheck,
  10   qcheck-alcotest,
  11   qcheck-stm,
  12 }:
  13
  14 buildDunePackage rec {
  15   pname = "saturn";
  16
  17   inherit (saturn_lockfree) src version;
  18
  19   propagatedBuildInputs = [ saturn_lockfree ];
  20
  21   doCheck = lib.versionAtLeast ocaml.version "5.0";
  22   checkInputs = [
  23     domain_shims
  24     dscheck
  25     multicore-bench
  26     qcheck
  27     qcheck-alcotest
  28     qcheck-stm
  29   ];
  30
  31   meta = saturn_lockfree.meta // {
  32     description = "Parallelism-safe data structures for multicore OCaml";
  33   };
  34
  35 }