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/build-support | |
parent | a5051e29e2acaabb2aa731250d5999437a74ce07 (diff) |
mkCoqDerivation: do not set DESTDIR
Fixes #178109
Diffstat (limited to 'pkgs/build-support')
-rw-r--r-- | pkgs/build-support/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/build-support/coq/default.nix b/pkgs/build-support/coq/default.nix index 52ef17f05c008..2a078a55d6956 100644 --- a/pkgs/build-support/coq/default.nix +++ b/pkgs/build-support/coq/default.nix @@ -104,7 +104,7 @@ stdenv.mkDerivation (removeAttrs ({ // (optionalAttrs setCOQBIN { COQBIN = "${coq}/bin/"; }) // (optionalAttrs (!args?installPhase && !args?useMelquiondRemake) { installFlags = - [ "DESTDIR=$(out)" ] ++ coqlib-flags ++ docdir-flags ++ + coqlib-flags ++ docdir-flags ++ extraInstallFlags; }) // (optionalAttrs useDune2 { |