tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib
2, fetchFromGitHub
3, buildDunePackage
4, cmdliner
5, menhir
6}:
7
8buildDunePackage 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}