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?)
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?
the gui asks for both, but I'm not sure why — coqidetop
is the actually used one
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
Thanks
Cyril Cohen has marked this topic as resolved.
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