coq-lsp: add $OCAMLFIND_DESTDIR to wrapper OCAMLPATH (#523243)

2026-06-09 00:26:30 +00:00
parent 8b6059b1ae 5319be6695
commit f8fc7b1912
1 changed files with 1 additions and 1 deletions
@@ -66,7 +66,7 @@
  installPhase = ''
    runHook preInstall
    dune install -p ${pname} --prefix=$out --libdir $OCAMLFIND_DESTDIR
-    wrapProgram $out/bin/coq-lsp --prefix OCAMLPATH : $OCAMLPATH
+    wrapProgram $out/bin/coq-lsp --prefix OCAMLPATH : $OCAMLFIND_DESTDIR --prefix OCAMLPATH : $OCAMLPATH
    runHook postInstall
  '';