tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 unicoq,
6 version ? null,
7}:
8
9mkCoqDerivation {
10 pname = "Mtac2";
11 owner = "Mtac2";
12 inherit version;
13 defaultVersion =
14 with lib.versions;
15 lib.switch coq.version [
16 {
17 case = range "8.19" "8.19";
18 out = "1.4-coq${coq.coq-version}";
19 }
20 ] null;
21 release."1.4-coq8.19".sha256 = "sha256-G9eK0eLyECdT20/yf8yyz7M8Xq2WnHHaHpxVGP0yTtU=";
22 releaseRev = v: "v${v}";
23 mlPlugin = true;
24 propagatedBuildInputs = [ unicoq ];
25 meta = with lib; {
26 description = "Typed tactic language for Coq";
27 license = licenses.mit;
28 };
29 preBuild = ''
30 coq_makefile -f _CoqProject -o Makefile
31 patchShebangs tests/sf-5/configure.sh
32 '';
33}