[opam-devel] opam 1.1.1 and aspcud 1.9

Roberto Di Cosmo roberto at dicosmo.org
Wed Dec 10 07:16:31 GMT 2014


Thanks Louis for looking into this. 

As for aspcud 1.9, I also have trouble understanding what the issue could be.
The version in utopic [1] is exactly the same as the one I use in Debian [2],
and it is backward compatible with 1.8: the old preference criteria are still
there, just do

  $ /usr/local/bin/cudf2lp --help

and you will see this text among the rest

  --criteria,-c <arg>  : Preprocess for specific optimization criteria
      Default: none
      Valid:   none, paranoid, trendy, -|+<crit>\(,-|+<crit>\)*
        <crit>: count(<set>) | sum(<set>,<attr>) | unsat_recommends(<set>)
              | aligned(<set>,<attr>,<attr>) | notuptodate(<set>)
        <attr>: CUDF attribute name
        <set> : solution | changed | new | removed | up | down
              | installrequest | upgraderequest | request
      For backwards compatibility: 
        new              = count(new)
        removed          = count(removed)
        changed          = count(changed)
        notuptodate      = notuptodate(solution)
        unsat_recommends = unsat_recommends(solution)
        sum(name)        = sum(name,solution)

Anil, may you provide a more precise bug report?

[1] http://packages.ubuntu.com/fr/utopic/aspcud
[2] https://packages.debian.org/fr/jessie/aspcud

On Wed, Dec 10, 2014 at 10:15:37AM +0900, Louis Gesbert 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

-- 
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