Unverified Commit bbf4cf5e authored by Enrico Tassi's avatar Enrico Tassi Committed by GitHub
Browse files

coqPackages.hierarchy-builder: do not pass VFILES if version >= 1.1.0 (#341171) 



Co-authored-by: default avatarPierre Roux <pierre.roux@onera.fr>
parent e7bcab80

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

+4 −4
Original line number Diff line number Diff line
@@ -29,8 +29,6 @@ let hb = mkCoqDerivation { 


  mlPlugin = true;



  extraInstallFlags = [ "VFILES=structures.v" ];



  meta = with lib; {

    description = "High level commands to declare a hierarchy based on packed classes";

    maintainers = with maintainers; [ cohencyril siraben ];
@@ -41,6 +39,8 @@ hb.overrideAttrs (o: 
  lib.optionalAttrs (lib.versions.isGe "1.2.0" o.version || o.version == "dev")

    { buildPhase = "make build"; }

  //

  lib.optionalAttrs (lib.versions.isGe "1.1.0" o.version || o.version == "dev")

  (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; })

)