Re: [MirageOS-devel] [opam-devel] opam 1.1.1 and aspcud 1.9

[Roberto Di Cosmo <roberto@xxxxxxxxxxx>]

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@xxxxxxxxxxxx> 
> > > 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@xxxxxxxxxxxxxxx
> > >> http://lists.ocaml.org/listinfo/opam-devel
> > > _______________________________________________
> > > opam-devel mailing list
> > > opam-devel@xxxxxxxxxxxxxxx
> > > http://lists.ocaml.org/listinfo/opam-devel
> > > 
> > 
> > _______________________________________________
> > opam-devel mailing list
> > opam-devel@xxxxxxxxxxxxxxx
> > http://lists.ocaml.org/listinfo/opam-devel
> _______________________________________________
> opam-devel mailing list
> opam-devel@xxxxxxxxxxxxxxx
> http://lists.ocaml.org/listinfo/opam-devel

-- 
Roberto Di Cosmo
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto@xxxxxxxxxxx
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               
         

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel