From 5d61a87d9484954dafc950b271127ba4a161f968 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 24 Jun 2024 22:06:18 +0200
Subject: [PATCH] mkCoqDerivation: fix install path of ML plug-in built w/ dune

---
 pkgs/build-support/coq/default.nix | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/pkgs/build-support/coq/default.nix b/pkgs/build-support/coq/default.nix
index 6036d0f05dd53..e55e22215daaf 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
   '';
 })