Guillaume Girol
33afbf39f6
checkInputs used to be added to nativeBuildInputs. Now we have nativeCheckInputs to do that instead. Doing this treewide change allows to keep hashes identical to before the introduction of nativeCheckInputs.
47 lines
1.0 KiB
Nix
47 lines
1.0 KiB
Nix
{ lib
|
|
, fetchFromGitHub
|
|
, buildDunePackage
|
|
, alcotest
|
|
, dedukti
|
|
, bindlib
|
|
, camlp-streams
|
|
, cmdliner
|
|
, 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 pratter sedlex stdlib-shims timed why3 yojson
|
|
];
|
|
|
|
nativeCheckInputs = [ alcotest dedukti ];
|
|
doCheck = false; # anomaly: Sys_error("/homeless-shelter/.why3.conf: No such file or directory")
|
|
|
|
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 ];
|
|
};
|
|
}
|