Opam 2.1 Support
When upgrading opam
from 2.0.8
to 2.1.0
, I find it unable to create the opam switch for development. When doing opam switch create . ocaml-base-compiler.4.11.1
, the following error happens:
This version of opam requires an update to the layout of /Users/xxx/.opam from
version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
Package refinedc does not exist, create as a NEW package? [Y/n] y
refinedc is now pinned to git+file:///xxx/refinedc#master (version ~dev)
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.11.1"}]
[ERROR] Could not determine which packages to install for this switch:
* Missing dependency:
- coq-iris
unknown package
Switch initialisation failed: clean up? ('n' will leave the switch partially
installed) [Y/n] y
This is tested on Intel MacOS.