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

   1 { lib, fetchurl, buildDunePackage
   2 , containers
   3 , oseq
   4 , alcotest
   5 }:
   6
   7 buildDunePackage rec {
   8   pname = "dscheck";
   9   version = "0.4.0";
  10
  11   minimalOCamlVersion = "5.0";
  12
  13   src = fetchurl {
  14     url = "https://github.com/ocaml-multicore/dscheck/releases/download/${version}/dscheck-${version}.tbz";
  15     hash = "sha256-WWqa2O1y7krpIcxG7KLprn9SIQoWGSD3lgpXLZ9P9kA=";
  16   };
  17
  18   propagatedBuildInputs = [ containers oseq ];
  19
  20   doCheck = true;
  21   checkInputs = [ alcotest ];
  22
  23   meta = {
  24     description = "Traced atomics";
  25     homepage = "https://github.com/ocaml-multicore/dscheck";
  26     license = lib.licenses.isc;
  27     maintainers = [ lib.maintainers.vbgl ];
  28   };
  29 }