diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-06-18 10:56:48 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-06-18 11:54:21 +0200 |
commit | af888339b6c7d1c8c5b8857271d80a23dc849b39 (patch) | |
tree | 69222f973aa688edcf1e74cbda065bd40b965128 /pkgs/development/coq-modules | |
parent | a5051e29e2acaabb2aa731250d5999437a74ce07 (diff) |
mkCoqDerivation: do not set DESTDIR
Fixes #178109
Diffstat (limited to 'pkgs/development/coq-modules')
-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 fb7de66f16e6..3eb5b4d476f5 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; } ) |