Ali Caglayan (Apr 16 2022 at 16:34): Ali Caglayan (Apr 16 2022 at 16:34):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.
Ali Caglayan (Apr 16 2022 at 16:35):What is the correct way to run coqtop.byte?
Gaëtan Gilbert (Apr 16 2022 at 16:37):dune exec -- coqtop.byte seems to work for me
Ali Caglayan (Apr 16 2022 at 16:41):Yeah that works
Ali Caglayan (Apr 16 2022 at 16:43):Actually it seems my original attempt was working but coqtop byte was failing for another reason
Notification Bot (Apr 16 2022 at 16:53):Ali Caglayan has marked this topic as resolved.
Last updated: Sep 09 2024 at 06:02 UTC