Stream: Coq devs & plugin devs

Topic: ✔ Getting coqtop.byte working


view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Apr 16 2022 at 16:35):

What is the correct way to run coqtop.byte?

view this post on Zulip Gaëtan Gilbert (Apr 16 2022 at 16:37):

dune exec -- coqtop.byte seems to work for me

view this post on Zulip Ali Caglayan (Apr 16 2022 at 16:41):

Yeah that works

view this post on Zulip Ali Caglayan (Apr 16 2022 at 16:43):

Actually it seems my original attempt was working but coqtop byte was failing for another reason

view this post on Zulip Notification Bot (Apr 16 2022 at 16:53):

Ali Caglayan has marked this topic as resolved.


Last updated: Feb 01 2023 at 16:03 UTC