When I compile Coq with dune, there is a convenient file "dune_db" which I can source in ocamldebug. Is there something similar when Coq is installed via opam? It does install bytecode coqtop, so it would make sense ...
I am sometimes using ocamldebug to inspect slow processing, e.g. with cbv or Qed.
Please ignore - I found it (it is in the sources in dev). I thought it was a generated file.
Last updated: Oct 04 2023 at 20:01 UTC