[opam-devel] opam 1.1.1 and aspcud 1.9
Roberto Di Cosmo
roberto at dicosmo.org
Thu Dec 11 08:57:31 GMT 2014
Thanks Luis,
indeed, now I remember, this is the same issue we had with Debian Jessie,
see the thread started here
https://sympa.inria.fr/sympa/arc/caml-list/2014-10/msg00095.html
and then continued offline with Debian maintainers (I'm pointing them to
this thread this very moment)
Two issues I see:
- urgent: fix Jessie an Utopic ... we'll see what the maintainers may do, but
it might be too late
- important: update our workflow to prevent all this in the future... IMHO,
we need to get the dependencies right in the different distributions, and
update them as soon as an incompatibility arises. For example, opam 1.1.1
should depend on dose << 3.2.2 ... and this should be linked to the bugs
found by Torok back in October
Thanks Anil for re-finding this
On Thu, Dec 11, 2014 at 10:40:57AM +0900, Louis Gesbert wrote:
> It's indeed completely broken, that's bad news indeed.
>
> But I confirm my diagnostic: aspcud is not in cause, Dose is (well, or the dose interface in opam 1.1, not trying to put the blame on anyone). The problem happens even without aspcud installed.
>
> Here is the original report: https://github.com/ocaml/opam/issues/1683
>
> Opam build got broken between 1.1.1-1 (trusty) and 1.1.1-1build3 (utopic) because the dose version was upgraded from 3.1.3-7build1 to 3.2.2-2build1. It's very painful when everything types and compiles after an upgrade, but gets subtly broken :(
>
> I filed a bug at https://bugs.launchpad.net/ubuntu/+source/opam/+bug/1401346
> Hope they can act on it quickly...
>
> Thanks for notifying and helping trace this!
> Louis
>
> > - Anil Madhavapeddy, 10/12/2014 14:54 -
> > I just reproduced it by following the referenced bug report.
> >
> > From a fresh Ubuntu 14.10, if I do:
> >
> > $ sudo apt-get install opam camlp4-extra aspcud
> > $ opam init -a
> > $ opam install mirage -y
> > $ eval `opam config env`
> >
> > At this point some packages have been installed and mirage is installed.
> >
> > Now however, if I use mirage it invokes opam install again and packages
> > are reinstalled as a duplicate. See below:
> >
> > opam install --yes conduit cow cowabloga crunch cstruct io-page lwt mirage-clock-unix mirage-conduit mirage-console mirage-fs-unix mirage-http mirage-net-unix mirage-types mirage-unix tcpip vchan
> > [NOTE] Package mirage-types is already installed (current version is 2.1.0).
> > [NOTE] Package lwt is already installed (current version is 2.4.6).
> > [NOTE] Package io-page is already installed (current version is 1.1.1).
> > [NOTE] Package cstruct is already installed (current version is 1.4.0).
> > [NOTE] Package crunch is already installed (current version is 1.3.0).
> > [WARNING] mirage-unix.2.1.0 references unknown package mirage-profile
> > The following actions will be performed:
> > - install ocamlfind.1.5.5 [required by cowabloga, crunch, mirage-fs-unix, mirage-http]
> > - install base-no-ppx.base [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install camlp4.4.01.0 [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install base-threads.base [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install base-bigarray.base [required by cowabloga]
> > - install base-unix.base [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install xmlm.1.2.0 [required by cowabloga]
> > - install uutf.0.9.3 [required by cowabloga]
> > - install stringext.1.1.0 [required by cowabloga, mirage-http]
> > - install ssl.0.4.7 [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install re.1.2.2 [required by cowabloga, mirage-http]
> > - install ounit.2.0.0 [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install hex.0.1.0 [required by cowabloga]
> > - install cmdliner.0.9.5 [required by cowabloga, crunch, mirage-http]
> > - install base64.1.0.0 [required by cowabloga, mirage-http]
> > - install base-bytes.legacy [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install ulex.1.1 [required by cowabloga]
> > - install type_conv.111.13.00 [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install optcomp.1.6 [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install omd.1.2.3 [required by cowabloga]
> > - install jsonm.0.9.1 [required by cowabloga]
> > - install lwt.2.4.6 [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install crunch.1.3.0
> > - install sexplib.111.25.00 [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install fieldslib.109.20.03 [required by cowabloga, mirage-http]
> > - install dyntype.0.9.0 [required by cowabloga]
> > - install ocplib-endian.0.7 [required by cowabloga, mirage-fs-unix, mirage-http]
> > - install uri.1.7.2 [required by cowabloga, mirage-http]
> >
> > I've not managed to narrow it down further to a smaller test case, but the OPAMDEBUG
> > gist is up at: https://gist.github.com/avsm/62e28b05e2b282ed5fbe
> >
> > Any inspiration from there from the CUDF interactions in the above gist?
> >
> > -anil
> >
> > > On 10 Dec 2014, at 01:15, Louis Gesbert <louis.gesbert at ocamlpro.com> wrote:
> > >
> > > I've been trying to reproduce the issue, but things seem fine, sort of:
> > >
> > > From what I could gather:
> > > * trusty (14.04LTS) has 1.1 and aspcud 1.8, it works fine
> > > * utopic (14.10, latest) has 1.1 and aspcud 1.9
> > > * vivid (15.04, unreleased) has OPAM 1.2, so it's ok. Recommends aspcud, too
> > >
> > > Note that there should be no conflict that I know of between OPAM 1.1 and aspcud 1.9 -- it's just that newer OPAM will benefit from the more advanced criteria offered. Where we have been hitting problems on Debian was by compiling with a different version of *Dose* [1] (which has a much less standardised interface).
> > >
> > > There is still a known issue, though, the missing dependency on m4 that will bite you as soon as you try to install ocamlfind [2] and which is very badly reported with
> > > ```
> > > ===== ERROR while installing ocamlfind.1.5.5 =====
> > > Internal error:
> > > "ocamlfind": command not found.
> > > ```
> > >
> > > so it would still be nice if they could backport (so that there is a better error) or recommend m4.
> > >
> > > Cheers,
> > > Louis
> > >
> > >
> > > [1] https://github.com/ocaml/opam/issues/1683
> > > [2] https://github.com/ocaml/opam/issues/1658
> > >
> > > - Anil Madhavapeddy, 09/12/2014 11:16 -
> > >> It looks like the latest Ubuntu has a completely broken OPAM out of the box since it ships with OPAM 1.1.1 and Aspcud 1.9 (which requires OPAM 1.2 due to a changed solver interface).
> > >>
> > >> This leads to issues such as this: https://github.com/mirage/mirage-skeleton/issues/59
> > >>
> > >> Does anyone know how to get in touch with Ubuntu folk to request a backport of OPAM 1.2 to Ubuntu 14.10?
> > >>
> > >> -anil
> > >> _______________________________________________
> > >> opam-devel mailing list
> > >> opam-devel at lists.ocaml.org
> > >> http://lists.ocaml.org/listinfo/opam-devel
> > > _______________________________________________
> > > opam-devel mailing list
> > > opam-devel at lists.ocaml.org
> > > http://lists.ocaml.org/listinfo/opam-devel
> > >
> >
> > _______________________________________________
> > opam-devel mailing list
> > opam-devel at lists.ocaml.org
> > http://lists.ocaml.org/listinfo/opam-devel
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel
--
Roberto Di Cosmo
------------------------------------------------------------------
Professeur En delegation a l'INRIA
PPS E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW : http://www.dicosmo.org
Case 7014 Tel : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo
FRANCE. Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
Bureau 3020 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
More information about the opam-devel
mailing list