mkCoqDerivation: fix install path of ML plug-in built w/ dune

NixOS · Jun 25, 2024 · 5d61a87 · 5d61a87
1 parent 0192177
commit 5d61a87
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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
   '';
 })