@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
this would at least work as long as Coq sources do not need to be modified
@Karl Palmskog Unfortunately, I will have to modify a few things. But thank you for the suggestion.
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).
I found the remaining issue, some configuration files of coq-elpi were mentioning my old switch. Thank you all for your help and suggestions.
Quentin VERMANDE has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC