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

   1 { lib
   2 , fetchFromGitHub
   3 , buildDunePackage
   4 , cmdliner
   5 , menhir
   6 }:
   7
   8 buildDunePackage rec {
   9   pname = "dedukti";
  10   version = "2.7";
  11
  12   minimalOCamlVersion = "4.08";
  13
  14   src = fetchFromGitHub {
  15     owner = "Deducteam";
  16     repo = pname;
  17     rev = "v${version}";
  18     hash = "sha256-SFxbgq2znO+OCEFzuekVquvtOEuCQanseKy+iZAeWbc=";
  19   };
  20
  21   nativeBuildInputs = [ menhir ];
  22   buildInputs = [ cmdliner ];
  23
  24   doCheck = false;  # requires `tezt`
  25
  26   meta = with lib; {
  27     homepage = "https://deducteam.github.io";
  28     description = "Logical framework based on the λΠ-calculus modulo rewriting";
  29     license = licenses.cecill-b;
  30     changelog = "https://github.com/Deducteam/Dedukti/raw/${version}/CHANGELOG.md";
  31     maintainers = with maintainers; [ bcdarwin ];
  32   };
  33 }