nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 08:53:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.lambdapi: init at 2.2.1

Browse Source
This commit is contained in:
Ben Darwin 2022-09-08 20:34:57 -04:00 committed by Vincent Laporte
parent 1b327858f9
commit d106101806
2 changed files with 48 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
pkgs/development/ocaml-modules/lambdapi/default.nix Normal file
View File

@ -0,0 +1,46 @@
{ lib
, fetchFromGitHub
, buildDunePackage
, alcotest
, dedukti
, bindlib
, camlp-streams
, cmdliner_1_1
, menhir
, pratter
, sedlex
, stdlib-shims
, timed
, why3
, yojson
}:
buildDunePackage rec {
pname = "lambdapi";
version = "2.2.1";
minimalOCamlVersion = "4.08";
src = fetchFromGitHub {
owner = "Deducteam";
repo = pname;
rev = version;
hash = "sha256-p2ZjSfiZwkf8X4fSNJx7bAVpTFl4UBHIEANIWF7NGCs=";
};
nativeBuildInputs = [ menhir ];
propagatedBuildInputs = [
bindlib camlp-streams cmdliner_1_1 pratter sedlex stdlib-shims timed why3 yojson
];
checkInputs = [ alcotest dedukti ];
doCheck = false; # "Error: Unbound module Cmd"
meta = with lib; {
homepage = "https://github.com/Deducteam/lambdapi";
description = "Proof assistant based on the λΠ-calculus modulo rewriting";
license = licenses.cecill21;
changelog = "https://github.com/Deducteam/lambdapi/raw/${version}/CHANGES.md";
maintainers = with maintainers; [ bcdarwin ];
};
}

2
pkgs/top-level/ocaml-packages.nix
View File

@ -702,6 +702,8 @@ let
ladspa = callPackage ../development/ocaml-modules/ladspa { };
lambdapi = callPackage ../development/ocaml-modules/lambdapi { };
lambdasoup = callPackage ../development/ocaml-modules/lambdasoup { };
lambda-term = callPackage ../development/ocaml-modules/lambda-term { };