Stream: Coq devs & plugin devs

Topic: ✔ target to build coqtop


view this post on Zulip Cyril Cohen (Feb 18 2022 at 10:45):

Hi, what is the make -f Makefile.dune target (or with dune directly?) to build coqtop?
(and then, where is it located so that I can inform vscode?)

view this post on Zulip Gaëtan Gilbert (Feb 18 2022 at 11:57):

I don't think there's a Makefile.dune target to build just coqtop
states will build coqtop and the prelude, coqtop can then be called as _build/default/dev/shim/coqtop-prelude
doesn't vscode want coqidetop though?

view this post on Zulip Paolo Giarrusso (Feb 18 2022 at 12:02):

the gui asks for both, but I'm not sure why — coqidetop is the actually used one

view this post on Zulip Gaëtan Gilbert (Feb 18 2022 at 12:08):

for coqidetop dune build coqide-server.install should work and put it in _build/install/default/bin/
you may need to also run dune build or dune build coq-stdlib.install long enough to get the prelude and whatever files you Require in _build/install

view this post on Zulip Cyril Cohen (Feb 18 2022 at 12:30):

Thanks

view this post on Zulip Notification Bot (Feb 18 2022 at 12:30):

Cyril Cohen has marked this topic as resolved.

view this post on Zulip Théo Zimmermann (Feb 18 2022 at 13:11):

Paolo Giarrusso said:

the gui asks for both, but I'm not sure why — coqidetop is the actually used one

It might need it just to run coqtop --version.


Last updated: Oct 13 2024 at 01:02 UTC