pkgs/development/ocaml-modules/multicore-magic/dscheck.nix


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

{
  lib,
  buildDunePackage,
  dscheck,
  multicore-magic,
}:

buildDunePackage {
  pname = "multicore-magic-dscheck";

  inherit (multicore-magic) src version;

  propagatedBuildInputs = [
    dscheck
  ];

  meta = multicore-magic.meta // {
    description = "Implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic";
  };
}