tjh.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
fork
Configure Feed
Select the types of activity you want to include in your feed.
1{
2 lib,
3 fetchurl,
4 fetchpatch,
5 buildDunePackage,
6 alcotest,
7 dedukti,
8 camlp-streams,
9 cmdliner,
10 dream,
11 lwt_ppx,
12 menhir,
13 pratter,
14 sedlex,
15 stdlib-shims,
16 timed,
17 why3,
18 yojson,
19}:
20
21buildDunePackage rec {
22 pname = "lambdapi";
23 version = "3.0.0";
24
25 minimalOCamlVersion = "4.14";
26
27 src = fetchurl {
28 url = "https://github.com/Deducteam/lambdapi/releases/download/${version}/lambdapi-${version}.tbz";
29 hash = "sha256-EGau0mGP2OakAMUUfb9V6pd86NP+LlGKxnhcZ3WhuL4=";
30 };
31
32 patches = [
33 # Compatibility with cmdliner ≥ 2
34 (fetchpatch {
35 url = "https://github.com/Deducteam/lambdapi/commit/8e27c0f668915fbd49e32bdac246d6d515a64dd0.patch";
36 hash = "sha256-9CkvH1o81T9LP+IPogKGhoiIDP76/nRfq59ttU7r0fI=";
37 })
38 ];
39
40 nativeBuildInputs = [
41 dream
42 menhir
43 ];
44 buildInputs = [ lwt_ppx ];
45 propagatedBuildInputs = [
46 camlp-streams
47 cmdliner
48 dream
49 pratter
50 sedlex
51 stdlib-shims
52 timed
53 why3
54 yojson
55 ];
56
57 checkInputs = [
58 alcotest
59 dedukti
60 ];
61 doCheck = false; # anomaly: Sys_error("/homeless-shelter/.why3.conf: No such file or directory")
62
63 meta = {
64 homepage = "https://github.com/Deducteam/lambdapi";
65 description = "Proof assistant based on the λΠ-calculus modulo rewriting";
66 license = lib.licenses.cecill21;
67 changelog = "https://github.com/Deducteam/lambdapi/raw/${version}/CHANGES.md";
68 maintainers = with lib.maintainers; [ bcdarwin ];
69 };
70}