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