pkgs/development/rocq-modules/hierarchy-builder/default.nix at devShellTools-shell · tjh.dev/nixpkgs

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / rocq-modules / hierarchy-builder / default.nix

at devShellTools-shell 927 B view raw

 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.9.1")
21      ] null;
22    release."1.9.1".sha256 = "sha256-AiS0ezMyfIYlXnuNsVLz1GlKQZzJX+ilkrKkbo0GrF0=";
23    releaseRev = v: "v${v}";
24
25    propagatedBuildInputs = [ rocq-elpi ];
26
27    meta = with lib; {
28      description = "High level commands to declare a hierarchy based on packed classes";
29      maintainers = with maintainers; [
30        cohencyril
31        siraben
32      ];
33      license = licenses.mit;
34    };
35  };
36in
37hb.overrideAttrs (
38  o:
39  lib.optionalAttrs (o.version == "1.9.1") { installFlags = [ "DESTDIR=$(out)" ] ++ o.installFlags; }
40)