From bbf4cf5e77307117d206b58c19281e6195982697 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 12 Sep 2024 21:09:04 +0200 Subject: [PATCH] coqPackages.hierarchy-builder: do not pass VFILES if version >= 1.1.0 (#341171) Co-authored-by: Pierre Roux --- .../development/coq-modules/hierarchy-builder/default.nix | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/development/coq-modules/hierarchy-builder/default.nix b/pkgs/development/coq-modules/hierarchy-builder/default.nix index aee4d65b7cfa..944ce621a08d 100644 --- a/pkgs/development/coq-modules/hierarchy-builder/default.nix +++ b/pkgs/development/coq-modules/hierarchy-builder/default.nix @@ -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") - { installFlags = [ "DESTDIR=$(out)" ] ++ o.installFlags; } + (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; }) )