coq: fix installation of OCaml libraries

6 years ago · caec7dbb9f
parent 5f97adccdc
commit caec7dbb9f
1 changed files with 3 additions and 0 deletions
--- a/pkgs/applications/science/logic/coq/default.nix
+++ b/pkgs/applications/science/logic/coq/default.nix
@ -123,8 +123,11 @@ self = stdenv.mkDerivation {

  buildFlags = "revision coq coqide bin/votour";

+  createFindlibDestdir = true;
+
  postInstall = ''
    cp bin/votour $out/bin/
+    ln -s $out/lib/coq $OCAMLFIND_DESTDIR/coq
  '';

  meta = with stdenv.lib; {