diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-06-24 22:06:18 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-06-25 21:07:57 +0200 |
commit | 5d61a87d9484954dafc950b271127ba4a161f968 (patch) | |
tree | 888eb45bc230753d2387d4a06d3d5f87aa168d19 | |
parent | 019217743d398d4765497c51059b84b704fab7c2 (diff) |
mkCoqDerivation: fix install path of ML plug-in built w/ dune
-rw-r--r-- | pkgs/build-support/coq/default.nix | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/pkgs/build-support/coq/default.nix b/pkgs/build-support/coq/default.nix index 6036d0f05dd5..e55e22215daa 100644 --- a/pkgs/build-support/coq/default.nix +++ b/pkgs/build-support/coq/default.nix @@ -138,10 +138,9 @@ stdenv.mkDerivation (removeAttrs ({ ''; installPhase = '' runHook preInstall - dune install ${opam-name} --prefix=$out - mv $out/lib/coq $out/lib/TEMPORARY + dune install --prefix=$out --libdir $OCAMLFIND_DESTDIR ${opam-name} mkdir $out/lib/coq/ - mv $out/lib/TEMPORARY $out/lib/coq/${coq.coq-version} + mv $OCAMLFIND_DESTDIR/coq $out/lib/coq/${coq.coq-version} runHook postInstall ''; }) |