coqdev-ocamldebug cannot find coqlib

[Alizter]

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

[Alizter]

cc @ejgallego This is likely due to #15560. What should the correct fix be? Update coqdev-ocamldebug?

[SkySkimmer]

Isn't it just the usual thing where you need to dune build for a bit to get files in the install layout?

[Alizter]

Should coqdev-ocamldebug be using the shim instead then?