On an M1 Mac under macOS Sonoma 14.5, I’m trying to install from source coq version 2023.11.0. At the step of “create opam switch”, I get following error:
<code>[CP.2023.11.0.patch_ocaml] Initialised
[CP.2023.11.0.patch_coq-released] Initialised
[CP.2023.11.0.patch_coq-dev] Initialised
[coq-released] no changes from https://coq.inria.fr/opam/released
[coq-core-dev] no changes from https://coq.inria.fr/opam/core-dev
[coq-extra-dev] no changes from https://coq.inria.fr/opam/extra-dev
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><> ????
Switch invariant: ["ocaml-variants" {= "4.14.1+options"} "ocaml-option-flambda"]
[ERROR] Could not determine which packages to install for this switch:
* Missing dependency:
- ocaml-variants >= 4.14.1+options
no matching version
Switch initialisation failed: clean up? ('n' will leave the switch partially installed) [y/n] y
</code>
<code>[CP.2023.11.0.patch_ocaml] Initialised
[CP.2023.11.0.patch_coq-released] Initialised
[CP.2023.11.0.patch_coq-dev] Initialised
[coq-released] no changes from https://coq.inria.fr/opam/released
[coq-core-dev] no changes from https://coq.inria.fr/opam/core-dev
[coq-extra-dev] no changes from https://coq.inria.fr/opam/extra-dev
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><> ????
Switch invariant: ["ocaml-variants" {= "4.14.1+options"} "ocaml-option-flambda"]
[ERROR] Could not determine which packages to install for this switch:
* Missing dependency:
- ocaml-variants >= 4.14.1+options
no matching version
Switch initialisation failed: clean up? ('n' will leave the switch partially installed) [y/n] y
</code>
[CP.2023.11.0.patch_ocaml] Initialised
[CP.2023.11.0.patch_coq-released] Initialised
[CP.2023.11.0.patch_coq-dev] Initialised
[coq-released] no changes from https://coq.inria.fr/opam/released
[coq-core-dev] no changes from https://coq.inria.fr/opam/core-dev
[coq-extra-dev] no changes from https://coq.inria.fr/opam/extra-dev
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><> ????
Switch invariant: ["ocaml-variants" {= "4.14.1+options"} "ocaml-option-flambda"]
[ERROR] Could not determine which packages to install for this switch:
* Missing dependency:
- ocaml-variants >= 4.14.1+options
no matching version
Switch initialisation failed: clean up? ('n' will leave the switch partially installed) [y/n] y
That was on a second run of coq_platform_make.sh when the first run likewise stopped with the switch issue.
I’m using the prerequisite packages from MacPorts (not Homebrew!)
How fix and complete the installation?