[Caml-list] Issue after an opam update

[Caml-list] Issue after an opam update

[David MENTRÉ]

Hello,

I tried to update my opam installation, without success. I upgraded to
latest opam, without improving the situation. Any idea on how to fix the
issue (and explain the issue)?

$ opam update

=-=- Updating package repositories
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] synchronized from https://opam.ocaml.org
[WARNING] A conflict was detected in your installation. This can be
caused by updated constraints or conflicts in your installed packages:
            - Conflicting query for package camlp4.4.02.1+1


You should run "opam upgrade" to resolve the situation.

$ opam upgrade
[WARNING] Upgrade is not possible because of conflicts or packages that
are no longer available:
  - Conflicting query for package camlp4.4.02.1+1

$ opam --version
1.2.2

$ opam list
# Installed packages for 4.02.1:
base-bigarray           base  Bigarray library distributed with the
OCaml compiler
base-threads            base  Threads library distributed with the OCaml
compiler
base-unix               base  Unix library distributed with the OCaml
compiler
camlp4              4.02.1+1  Camlp4 is a system for writing extensible
parsers for programming languages
camlp5                  6.12  Preprocessor-pretty-printer of OCaml
conf-gmp                   1  Virtual package relying on a GMP lib
system installation.
conf-gnomecanvas           2  Virtual package relying on a Gnomecanvas
system installation.
conf-gtksourceview         2  Virtual package relying on a GtkSourceView
system installation.
coq                    8.4.5  Formal proof management system.
frama-c             20150201  Platform dedicated to the static analysis
of source code written in C
lablgtk               2.18.3  OCaml interface to GTK+
menhir              20141215  LR(1) parser generator
ocamlfind              1.5.5  A library manager for OCaml
ocamlgraph             1.8.6  A generic graph library for OCaml
zarith                   1.3  Implements arithmetic and logical
operations over arbitrary-precision integers

Best regards,
david

Re: [Caml-list] Issue after an opam update

[Mr. Herr]

On 26.03.2016 11:28, David MENTRÉ wrote:
> Hello,
>
> I tried to update my opam installation, without success. I upgraded to
> latest opam, without improving the situation. Any idea on how to fix the
> issue (and explain the issue)?
>
> $ opam update
>
> =-=- Updating package repositories
> =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
> [default] synchronized from https://opam.ocaml.org
> [WARNING] A conflict was detected in your installation. This can be
> caused by updated constraints or conflicts in your installed packages:
>             - Conflicting query for package camlp4.4.02.1+1
>
>
> You should run "opam upgrade" to resolve the situation.
>
> $ opam upgrade
> [WARNING] Upgrade is not possible because of conflicts or packages that
> are no longer available:
>   - Conflicting query for package camlp4.4.02.1+1
>
> $ opam --version
> 1.2.2
>
> $ opam list
> # Installed packages for 4.02.1:
> base-bigarray           base  Bigarray library distributed with the
> OCaml compiler
> base-threads            base  Threads library distributed with the OCaml
> compiler
> base-unix               base  Unix library distributed with the OCaml
> compiler
> camlp4              4.02.1+1  Camlp4 is a system for writing extensible
> parsers for programming languages
> camlp5                  6.12  Preprocessor-pretty-printer of OCaml
> conf-gmp                   1  Virtual package relying on a GMP lib
> system installation.
> conf-gnomecanvas           2  Virtual package relying on a Gnomecanvas
> system installation.
> conf-gtksourceview         2  Virtual package relying on a GtkSourceView
> system installation.
> coq                    8.4.5  Formal proof management system.
> frama-c             20150201  Platform dedicated to the static analysis
> of source code written in C
> lablgtk               2.18.3  OCaml interface to GTK+
> menhir              20141215  LR(1) parser generator
> ocamlfind              1.5.5  A library manager for OCaml
> ocamlgraph             1.8.6  A generic graph library for OCaml
> zarith                   1.3  Implements arithmetic and logical
> operations over arbitrary-precision integers

I remember having read here that opam -v (or several v) will show more about the
resolution logic, especially
which package is requiring this specific camlp4 version.

Hope this helps.

/Str.

Re: [Caml-list] Issue after an opam update

[Török Edwin]

On 03/26/2016 12:28, David MENTRÉ wrote:
> You should run "opam upgrade" to resolve the situation.

When opam tells me to run 'opam upgrade' it ususally tells me to run it as 'opam upgrade --fixup'.
That should fix (or give more details) on the situation.
It requires to have an external solver (aspcud) installed, do you have it?

Best regards,
-- 
Edwin Török | Co-founder and Lead Developer

Skylable open-source object storage: reliable, fast, secure
http://www.skylable.com

Re: [Caml-list] Issue after an opam update

[David MENTRÉ]

Hello,

Le 2016-03-26 21:34, Török Edwin a écrit :
> When opam tells me to run 'opam upgrade' it ususally tells me to run it as 'opam upgrade --fixup'.
> That should fix (or give more details) on the situation.
> It requires to have an external solver (aspcud) installed, do you have it?

Thanks for the tip. I solved my issue by switching to latest stable
OCaml release and re-installing my needed packages.

Best regards,
david