Fabian Kunze (Nov 11 2020 at 17:32): 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?))
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.
Fabian Kunze (Nov 11 2020 at 18:16):Thanks, I got it to work.
Last updated: Sep 15 2024 at 12:01 UTC