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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

See my previous mail for more debug information -- hope that's useful.

It may also be the version of Gringo or Clasp that is incompatible with Aspcud.
This happened before on MacOS X when clasp was upgraded before Aspcud:
https://github.com/Homebrew/homebrew/pull/27871

I also note that Ubuntu's opam package only installs ocaml as a dependency
and not ocaml-native-compilers and camlp4-extra, both of which are pretty
much necessary for modern OCaml operation.  Any thoughts on making this a
harder dependency in the opam package?

-anil

On 10 Dec 2014, at 07:16, Roberto Di Cosmo <roberto@xxxxxxxxxxx> wrote:
> 
> 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@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             
>            
> _______________________________________________
> opam-devel mailing list
> opam-devel@xxxxxxxxxxxxxxx
> http://lists.ocaml.org/listinfo/opam-devel
> 


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