creating local switch only works if there already is a switch #3874
Milestone
Comments
vogler
added a commit
to goblint/analyzer
that referenced
this issue
Jun 18, 2019
…f there is no switch yet), see ocaml/opam#3874
|
It is not related to opam initialisation, but there is actually a mistake in the choice of compiler for a specific case, and you reach it: local switch based on local repo, no compiler selected, and range on constraint, and more than one compiler compliant. |
vogler
referenced
this issue
in goblint/analyzer
Jul 12, 2019
…able, which makes opam abort.
[ERROR] Compiler selection '4.07.1' is ambiguous. matching packages: {
ocaml-base-compiler.4.07.1, ocaml-system.4.07.1 }
On Linux we don't have any OCaml installed, so safe choice is to always download and compile OCaml by specifying ocaml-base-compiler.4.07.1.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I wanted to start using local switches.
Locally, with several existing global switches (one being 4.07.1),
opam switch -y create ./ --deps-onlyworks fine (log saysinstalled ocaml-system.4.07.1).On travis-ci, after
opam init -y -a --bare(without having any switches installed), it fails withNo available version of ocaml-base-compiler satisfies the constraints(see log).There it only works if I specify a compiler version, e.g.,
opam switch -y create ./ --deps-only ocaml-base-compiler.4.07.1.I would expect that local switches also install a compiler if there is none yet.
The version constraint in the
opamfile is"ocaml" {>= "4.04.1" & < "4.08"}.The text was updated successfully, but these errors were encountered: