I am trying the 4.08+rc1, and I'd like to do a opam install --deps-only frama-c to quickly obtain all dependencies. However, the frama-c package is marked as incompatible with 4.08 (it was released before 4.08 was out), so opam fails with:
The following dependencies couldn't be met:
- frama-c → ocaml < 4.08.0
base of this switch (use `--unlock-base' to force)
I agree this makes sense most of the time, but since the frama-c package will not be installed anyway, it could make sense to emit a warning saying "Unmet dependencies for target package, do you want to continue?" and allow the user to try it anyway.
By the way, --unlock-base does not help, it simply downgrades OCaml.
I am trying the 4.08+rc1, and I'd like to do a
opam install --deps-only frama-cto quickly obtain all dependencies. However, theframa-cpackage is marked as incompatible with 4.08 (it was released before 4.08 was out), so opam fails with:I agree this makes sense most of the time, but since the
frama-cpackage will not be installed anyway, it could make sense to emit a warning saying "Unmet dependencies for target package, do you want to continue?" and allow the user to try it anyway.By the way,
--unlock-basedoes not help, it simply downgrades OCaml.