Stream: Coq devs & plugin devs

Topic: coq-idetop for 8.13


view this post on Zulip Fabian Kunze (Nov 11 2020 at 17:32):

Did anything change when compiling coq-idetop for 8.13 ? I just installed the coq.opam file in the master-branch and did not get the coq-idetop binary in my opam-switch-bin folder. (I have never manually build coq-idetop before, so maybe i installed the wrong package (maybe coqide-server is needed?))

view this post on Zulip Théo Zimmermann (Nov 11 2020 at 17:50):

Yes, if you install from the git-tracked opam file as opposed to installing from the coq.dev package from the coq-dev opam repository, then you won't have coqidetop unless you also install the coqide-server package.

view this post on Zulip Fabian Kunze (Nov 11 2020 at 18:16):

Thanks, I got it to work.


Last updated: Oct 21 2021 at 20:02 UTC