coq
coq copied to clipboard
coqdev-ocamldebug cannot find coqlib
Don't know if it is related, but recently, I started to need to pass an explicit -coqlib
to coqtop
in coqdev-ocamldebug
for emacs (otherwise I get the "cannot guess ..." message).
Originally posted by @herbelin in https://github.com/coq/coq/issues/16295#issuecomment-1181611286
cc @ejgallego This is likely due to #15560. What should the correct fix be? Update coqdev-ocamldebug?
Isn't it just the usual thing where you need to dune build
for a bit to get files in the install layout?
Should coqdev-ocamldebug be using the shim instead then?