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

   1 { lib
   2 , fetchFromGitHub
   3 , buildDunePackage
   4 , alcotest
   5 , dedukti
   6 , bindlib
   7 , camlp-streams
   8 , cmdliner
   9 , menhir
  10 , pratter
  11 , sedlex
  12 , stdlib-shims
  13 , timed
  14 , why3
  15 , yojson
  16 }:
  17
  18 buildDunePackage rec {
  19   pname = "lambdapi";
  20   version = "2.2.1";
  21
  22   minimalOCamlVersion = "4.08";
  23
  24   src = fetchFromGitHub {
  25     owner = "Deducteam";
  26     repo = pname;
  27     rev = version;
  28     hash = "sha256-p2ZjSfiZwkf8X4fSNJx7bAVpTFl4UBHIEANIWF7NGCs=";
  29   };
  30
  31   nativeBuildInputs = [ menhir ];
  32   propagatedBuildInputs = [
  33     bindlib camlp-streams cmdliner pratter sedlex stdlib-shims timed why3 yojson
  34   ];
  35
  36   checkInputs = [ alcotest dedukti ];
  37   doCheck = false;  # anomaly: Sys_error("/homeless-shelter/.why3.conf: No such file or directory")
  38
  39   meta = with lib; {
  40     homepage = "https://github.com/Deducteam/lambdapi";
  41     description = "Proof assistant based on the λΠ-calculus modulo rewriting";
  42     license = licenses.cecill21;
  43     changelog = "https://github.com/Deducteam/lambdapi/raw/${version}/CHANGES.md";
  44     maintainers = with maintainers; [ bcdarwin ];
  45   };
  46 }