Stream: Coq users

Topic: Starting Coq IDE on CentOS


view this post on Zulip Gergely Buday (Aug 03 2020 at 17:43):

I have installed Coq onto my CentOS 7 box using OPAM following

https://github.com/coq/coq/wiki/Installation-of-Coq-on-Linux

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?

view this post on Zulip Ali Caglayan (Aug 03 2020 at 19:29):

@Gergely Buday coqidetop is the backend of coqide and is for other editors to use. Did you mean to use coqtop?

view this post on Zulip Gergely Buday (Aug 04 2020 at 08:48):

@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?

view this post on Zulip Ali Caglayan (Aug 04 2020 at 08:49):

If you installed coq using opam then you need to install coqide seperately. opam install coqide

view this post on Zulip Gergely Buday (Aug 04 2020 at 08:50):

I see, thanks.

view this post on Zulip Ali Caglayan (Aug 04 2020 at 08:51):

I think they are separated due to the larger amount of dependencies coqide has.

view this post on Zulip Théo Zimmermann (Aug 04 2020 at 09:38):

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