tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkRocqDerivation,
4 rocq-core,
5 rocq-elpi,
6 version ? null,
7}:
8
9let
10 hb = mkRocqDerivation {
11 pname = "hierarchy-builder";
12 owner = "math-comp";
13 inherit version;
14 defaultVersion =
15 let
16 case = case: out: { inherit case out; };
17 in
18 with lib.versions;
19 lib.switch rocq-core.rocq-version [
20 (case (range "9.0" "9.1") "1.10.2")
21 (case (range "9.0" "9.1") "1.10.0")
22 (case (range "9.0" "9.1") "1.9.1")
23 ] null;
24 release."1.10.2".sha256 = "sha256-Uzni9qrYQP45Tr+JkHs0BuRARwmWSMwA/iHhIzkolxc=";
25 release."1.10.0".sha256 = "sha256-c52nS8I0tia7Q8lZTFJyHVPVabW9xv55m7w6B7y3+e8=";
26 release."1.9.1".sha256 = "sha256-AiS0ezMyfIYlXnuNsVLz1GlKQZzJX+ilkrKkbo0GrF0=";
27 releaseRev = v: "v${v}";
28
29 propagatedBuildInputs = [ rocq-elpi ];
30
31 meta = {
32 description = "High level commands to declare a hierarchy based on packed classes";
33 maintainers = with lib.maintainers; [
34 cohencyril
35 siraben
36 ];
37 license = lib.licenses.mit;
38 };
39 };
40in
41hb.overrideAttrs (
42 o:
43 lib.optionalAttrs (o.version == "1.9.1") { installFlags = [ "DESTDIR=$(out)" ] ++ o.installFlags; }
44)