Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
3.1 kB · 84 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485{ lib, mkCoqDerivation, coq, stdlib, coq-elpi, version ? null,}:
let hb = mkCoqDerivation { pname = "hierarchy-builder"; owner = "math-comp"; inherit version; defaultVersion = let case = case: out: { inherit case out; }; in with lib.versions; lib.switch coq.coq-version [ (case (range "8.20" "8.20") "1.9.1") (case (range "8.19" "8.20") "1.8.0") (case (range "8.18" "8.20") "1.7.1") (case (range "8.16" "8.18") "1.6.0") (case (range "8.15" "8.18") "1.5.0") (case (range "8.15" "8.17") "1.4.0") (case (range "8.13" "8.14") "1.2.0") (case (range "8.12" "8.13") "1.1.0") (case (isEq "8.11") "0.10.0") ] null; release."1.9.1".sha256 = "sha256-AiS0ezMyfIYlXnuNsVLz1GlKQZzJX+ilkrKkbo0GrF0="; release."1.8.1".sha256 = "sha256-Z0WAHDyycqgL+Le/zNfEAoLWzFb7WIL+3G3vEBExlb4="; release."1.8.0".sha256 = "sha256-4s/4ZZKj5tiTtSHGIM8Op/Pak4Vp52WVOpd4l9m19fY="; release."1.7.1".sha256 = "sha256-MCmOzMh/SBTFAoPbbIQ7aqd3hMcSMpAKpiZI7dbRaGs="; release."1.7.0".sha256 = "sha256-WqSeuJhmqicJgXw/xGjGvbRzfyOK7rmkVRb6tPDTAZg="; release."1.6.0".sha256 = "sha256-E8s20veOuK96knVQ7rEDSt8VmbtYfPgItD0dTY/mckg="; release."1.5.0".sha256 = "sha256-Lia3o156Pbe8rDHOA1IniGYsG5/qzZkzDKdHecfmS+c="; release."1.4.0".sha256 = "sha256-tOed9UU3kMw6KWHJ5LVLUFEmzHx1ImutXQvZ0ldW9rw="; release."1.3.0".sha256 = "17k7rlxdx43qda6i1yafpgc64na8br285cb0mbxy5wryafcdrkrc"; release."1.2.1".sha256 = "sha256-pQYZJ34YzvdlRSGLwsrYgPdz3p/l5f+KhJjkYT08Mj0="; release."1.2.0".sha256 = "0sk01rvvk652d86aibc8rik2m8iz7jn6mw9hh6xkbxlsvh50719d"; release."1.1.0".sha256 = "sha256-spno5ty4kU4WWiOfzoqbXF8lWlNSlySWcRReR3zE/4Q="; release."1.0.0".sha256 = "0yykygs0z6fby6vkiaiv3azy1i9yx4rqg8xdlgkwnf2284hffzpp"; release."0.10.0".sha256 = "1a3vry9nzavrlrdlq3cys3f8kpq3bz447q8c4c7lh2qal61wb32h"; releaseRev = v: "v${v}";
propagatedBuildInputs = [ coq-elpi ];
mlPlugin = true;
meta = with lib; { description = "High level commands to declare a hierarchy based on packed classes"; maintainers = with maintainers; [ cohencyril siraben ]; license = licenses.mit; }; }; hb2 = hb.overrideAttrs ( o: lib.optionalAttrs (lib.versions.isGe "1.2.0" o.version || o.version == "dev") { buildPhase = "make build"; } // ( if lib.versions.isGe "1.1.0" o.version || o.version == "dev" then { installFlags = [ "DESTDIR=$(out)" ] ++ o.installFlags; } else { installFlags = [ "VFILES=structures.v" ] ++ o.installFlags; } ) // lib.optionalAttrs (o.version != null && o.version == "1.8.1") { propagatedBuildInputs = o.propagatedBuildInputs ++ [ stdlib ]; } );in# this is just a wrapper for rocqPackages.hierarchy-builder for Rocq >= 9.0if coq.rocqPackages ? hierarchy-builder then coq.rocqPackages.hierarchy-builder.override { inherit version; inherit (coq.rocqPackages) rocq-core; rocq-elpi = coq-elpi; }else hb2