tjh.dev
1{
2 coq,
3 lib,
4 mkCoqDerivation,
5 version ? null,
6}:
7
8mkCoqDerivation {
9 pname = "coq-tactical";
10 owner = "tchajed";
11
12 inherit version;
13 displayVersion.coq-tactical = v: "unstable-${v}";
14 defaultVersion =
15 with lib.versions;
16 lib.switch coq.version [
17 {
18 case = range "8.11" "8.20";
19 out = "2022-02-15";
20 }
21 ] null;
22
23 release."2022-02-15" = {
24 rev = "7c26f9a017395c240845184dfed23489d29dbae5";
25 sha256 = "sha256-SNoQzGYw5tuabHUDwMAyUsAa/WNoYjmyR85b7a0hVl4=";
26 };
27
28 installPhase = ''
29 COQLIB=$out/lib/coq/${coq.coq-version}
30 mkdir -p $COQLIB/user-contrib/Tactical
31 cp -pR src/* $COQLIB/user-contrib/Tactical
32 '';
33
34 meta = {
35 description = "Library of Coq proof automation";
36 license = lib.licenses.mit;
37 maintainers = with lib.maintainers; [ stepbrobd ];
38 };
39}