You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Installing CertiCoq dependencies from INSTALL.md, fails. In particular pinning the dependencies with opam pin -n -y submodules/metacoq and executing opam install coq-certicoq --deps-only fails with:
[ERROR] Package conflict!
* Missing dependency:
- coq-metacoq-erasure-plugin = 1.3.2+8.19
not available because the package is pinned to version 8.19.dev
The above proceeds after unpinning the submodules with opam unpin -n -y submodules/metacoq.
The text was updated successfully, but these errors were encountered:
The above proceeds after unpinning the submodules with opam unpin -n -y submodules/metacoq.
Thanks for this tip! This also made me realize that we no longer depend on the MetaCoq submodule. I wonder if it's possible to remove it altogether, and only use the one installed from opam. I tried it on my machine and it built fine that way, but if it has a function for the MetaCoq upgrades, I wouldn't want to break that. (@yforster?)
Installing CertiCoq dependencies from INSTALL.md, fails. In particular pinning the dependencies with
opam pin -n -y submodules/metacoq
and executingopam install coq-certicoq --deps-only
fails with:The above proceeds after unpinning the submodules with
opam unpin -n -y submodules/metacoq
.The text was updated successfully, but these errors were encountered: