pkgs/development/coq-modules/hierarchy-builder/default.nix

   1 { lib, mkCoqDerivation, which, coq, coq-elpi, version ? null }:
   2
   3 with lib; mkCoqDerivation {
   4   pname = "hierarchy-builder";
   5   owner = "math-comp";
   6   inherit version;
   7   defaultVersion = with versions; switch coq.coq-version [
   8     { case = isGe "8.12";         out = "1.0.0"; }
   9     { case = range "8.11" "8.12"; out = "0.10.0"; }
  10   ] null;
  11   release."1.0.0".sha256  = "0yykygs0z6fby6vkiaiv3azy1i9yx4rqg8xdlgkwnf2284hffzpp";
  12   release."0.10.0".sha256 = "1a3vry9nzavrlrdlq3cys3f8kpq3bz447q8c4c7lh2qal61wb32h";
  13   releaseRev = v: "v${v}";
  14
  15   nativeBuildInputs = [ which ];
  16
  17   propagatedBuildInputs = [ coq-elpi ];
  18
  19   extraInstallFlags = [ "VFILES=structures.v" ];
  20
  21   meta = {
  22     description = "Coq plugin embedding ELPI.";
  23     maintainers = [ maintainers.cohencyril ];
  24     license = licenses.lgpl21;
  25   };
  26 }