I'm trying to run coqtop.byte but it complains that it can't find
dllcoqrun_stubs.so. In Install.make.md it suggests overriding
CAML_LD_LIBRARY_PATH to point to the location of the stubs, however appending with the stublibs I have in _build doesn't seem to work.
What is the correct way to run coqtop.byte?
dune exec -- coqtop.byte seems to work for me
Yeah that works
Actually it seems my original attempt was working but coqtop byte was failing for another reason
Ali Caglayan has marked this topic as resolved.
Last updated: Nov 29 2023 at 06:01 UTC