Stream: Coq devs & plugin devs

Topic: ✔ Installation issue (Unbound module Vernactypes)


view this post on Zulip Karl Palmskog (Oct 30 2023 at 15:08):

@Quentin VERMANDE if all you need is to install "latest Coq from GitHub repo", how about using the core-dev opam repo and doing opam pin add coq dev --kind=version

view this post on Zulip Karl Palmskog (Oct 30 2023 at 15:09):

this would at least work as long as Coq sources do not need to be modified

view this post on Zulip Quentin VERMANDE (Oct 30 2023 at 15:09):

@Karl Palmskog Unfortunately, I will have to modify a few things. But thank you for the suggestion.

view this post on Zulip Pierre Roux (Oct 30 2023 at 15:20):

Otherwise, when in doubt about the installation process, I just follow what's in the coq-core.opam and coq-stdlib.opam files in the repo (and in case I then want to use opam, I just opam install --fake coq.dev).

view this post on Zulip Quentin VERMANDE (Oct 30 2023 at 15:29):

I found the remaining issue, some configuration files of coq-elpi were mentioning my old switch. Thank you all for your help and suggestions.

view this post on Zulip Notification Bot (Oct 30 2023 at 15:29):

Quentin VERMANDE has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC