diff options
Diffstat (limited to 'pkgs/development/coq-modules/hierarchy-builder/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/hierarchy-builder/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/hierarchy-builder/default.nix b/pkgs/development/coq-modules/hierarchy-builder/default.nix index fb7de66f16e67..3eb5b4d476f5f 100644 --- a/pkgs/development/coq-modules/hierarchy-builder/default.nix +++ b/pkgs/development/coq-modules/hierarchy-builder/default.nix @@ -32,4 +32,7 @@ with lib; let hb = mkCoqDerivation { hb.overrideAttrs (o: optionalAttrs (versions.isGe "1.2.0" o.version || o.version == "dev") { buildPhase = "make build"; } + // + optionalAttrs (versions.isGe "1.1.0" o.version || o.version == "dev") + { installFlags = [ "DESTDIR=$(out)" ] ++ o.installFlags; } ) |