I have installed Coq onto my CentOS 7 box using OPAM following
I do not have coqide but only coqidetop which gives an error message:
Fatal error: ideslave communication channels not set.
What should I do here?
@Gergely Buday coqidetop is the backend of coqide and is for other editors to use. Did you mean to use coqtop?
@Ali Caglayan I meant coqide, on Windows that is the executable for the graphical editor. coqtop as I see is a text-only interface for Coq. Is there no coqide on Linux?
If you installed coq using opam then you need to install coqide seperately.
opam install coqide
I see, thanks.
I think they are separated due to the larger amount of dependencies coqide has.
Some advice on installing Coq + CoqIDE with opam is available on https://coq.inria.fr/opam-using.html.
Last updated: Jan 29 2023 at 01:02 UTC