tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 stdlib,
6 version ? null,
7}:
8
9let
10 owner = "lukaszcz";
11 repo = "coqhammer";
12 case = case: out: { inherit case out; };
13 defaultVersion =
14
15 lib.switch coq.coq-version [
16 (case "9.1" "1.3.2+9.1")
17 (case "9.0" "1.3.2+9.0")
18 (case "8.20" "1.3.2+8.20")
19 (case "8.19" "1.3.2+8.19")
20 (case "8.18" "1.3.2+8.18")
21 (case "8.17" "1.3.2+8.17")
22 (case "8.16" "1.3.2+8.16")
23 ] null;
24
25 release = {
26 "1.3.2+9.1".sha256 = "sha256-tf+Hrfv/ZrLXryTjJchvLfydxzjkXB2hbL7P280Clzw=";
27 "1.3.2+9.0".sha256 = "sha256-/UHtK9fjpHTbra4/Cnsjt8fg1fvxx7U6kGjQPm15NwM=";
28 "1.3.2+8.20".sha256 = "sha256-RuX2aInSjwebs/aEOoisNxqcIPqDA2kWehN9tFYqOx4=";
29 "1.3.2+8.19".sha256 = "sha256-Zd7piAWlKPAZKEz7HVWxhnzOLbA/eR9C/E0T298MJVY=";
30 "1.3.2+8.18".sha256 = "sha256-D+tQ+1YrSbbqc54U5UlxW1Hhly49TB2pu1LEPL2Eo64=";
31 "1.3.2+8.17".sha256 = "sha256-2fw66z3yFKs5g+zNCeYXiEyxPzjUr+lGDciiQiuuMAs=";
32 "1.3.2+8.16".sha256 = "sha256-+j2Mg9n4heXbhjRaqiTQfgBxRqfw6TPYbIuCdhu8OeE=";
33 };
34
35 releaseRev = v: "refs/tags/v${v}";
36
37in
38
39mkCoqDerivation {
40 inherit version;
41 pname = "coq-hammer-tactics";
42
43 inherit
44 owner
45 repo
46 defaultVersion
47 release
48 releaseRev
49 ;
50 passthru = {
51 inherit
52 owner
53 repo
54 defaultVersion
55 release
56 releaseRev
57 ;
58 };
59
60 propagatedBuildInputs = [ stdlib ];
61
62 mlPlugin = true;
63
64 buildFlags = [ "tactics" ];
65 installTargets = [ "install-tactics" ];
66
67 meta = {
68 description = "Reconstruction tactics for the hammer for Coq";
69 homepage = "https://github.com/lukaszcz/coqhammer";
70 license = lib.licenses.lgpl21;
71 maintainers = [ lib.maintainers.vbgl ];
72 };
73}