tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkCoqDerivation,
4 coq,
5 stdpp,
6 version ? null,
7}:
8
9mkCoqDerivation {
10 pname = "iris";
11 domain = "gitlab.mpi-sws.org";
12 owner = "iris";
13 inherit version;
14 defaultVersion =
15 let
16 case = case: out: { inherit case out; };
17 in
18 with lib.versions;
19 lib.switch coq.coq-version [
20 (case (range "8.19" "9.1") "4.4.0")
21 (case (range "8.18" "8.19") "4.2.0")
22 (case (range "8.16" "8.18") "4.1.0")
23 (case (range "8.13" "8.17") "4.0.0")
24 (case (range "8.12" "8.14") "3.5.0")
25 (case (range "8.11" "8.13") "3.4.0")
26 (case (range "8.9" "8.10") "3.3.0")
27 ] null;
28 release."4.4.0".sha256 = "sha256-zpuaIdH2ScOuZB0Vt1TEHAbsmcT1DyoDsJpftT1M7qw=";
29 release."4.3.0".sha256 = "sha256-3qhjiFI+A3I3fD8rFfJL5Hek77wScfn/FNNbDyGqA1k=";
30 release."4.2.0".sha256 = "sha256-HuiHIe+5letgr1NN1biZZFq0qlWUbFmoVI7Q91+UIfM=";
31 release."4.1.0".sha256 = "sha256-nTZUeZOXiH7HsfGbMKDE7vGrNVCkbMaWxdMWUcTUNlo=";
32 release."4.0.0".sha256 = "sha256-Jc9TmgGvkiDaz9IOoExyeryU1E+Q37GN24NIM397/Gg=";
33 release."3.6.0".sha256 = "sha256:02vbq597fjxd5znzxdb54wfp36412wz2d4yash4q8yddgl1kakmj";
34 release."3.5.0".sha256 = "0hh14m0anfcv65rxm982ps2vp95vk9fwrpv4br8bxd9vz0091d70";
35 release."3.4.0".sha256 = "0vdc2mdqn5jjd6yz028c0c6blzrvpl0c7apx6xas7ll60136slrb";
36 release."3.3.0".sha256 = "0az4gkp5m8sq0p73dlh0r7ckkzhk7zkg5bndw01bdsy5ywj0vilp";
37 releaseRev = v: "iris-${v}";
38
39 propagatedBuildInputs = [ stdpp ];
40
41 preBuild = ''
42 if [[ -f coq-lint.sh ]]
43 then patchShebangs coq-lint.sh
44 fi
45 '';
46
47 meta = {
48 description = "Coq development of the Iris Project";
49 license = lib.licenses.bsd3;
50 maintainers = [
51 lib.maintainers.vbgl
52 lib.maintainers.ineol
53 ];
54 };
55}