pkgs/development/ocaml-modules/dolmen/loop.nix

   1 { buildDunePackage, dolmen, dolmen_type
   2 , gen
   3 , pp_loc
   4 , mdx
   5 }:
   6
   7 buildDunePackage {
   8   pname = "dolmen_loop";
   9   inherit (dolmen) src version;
  10
  11   propagatedBuildInputs = [ dolmen dolmen_type gen pp_loc ];
  12
  13   doCheck = true;
  14   nativeCheckInputs = [ mdx.bin ];
  15   checkInputs = [ mdx ];
  16
  17   meta = dolmen.meta // {
  18     description = "Tool library for automated deduction tools";
  19   };
  20 }