search

ocaml / opam-repository

Main public package repository for opam, the source package manager of OCaml.
https://opam.ocaml.org
Creative Commons Zero v1.0 Universal
516 stars 1.12k forks source link

solver not giving latest package again #554

Closed avsm closed 11 years ago

avsm commented 11 years ago

It's Friday, so here's a constraint solver bug :) I just tried to install github and got a bunch of downgrades. Explicitly requesting the latest version github.0.4.3 made it succeed. The heuristics should really favour the latest version, shouldnt they?

This will come up a lot with the frequent Core upgrades, sadly...

$ opam install github
. brute-force exploration timed-out [721 states, 5s].
You might need to add explicit version constraints to your request to get a better answer.
The following actions will be performed:
 - remove shared-memory-ring.0.3.0
 - remove comparelib.109.13.00
 - remove ocplib-endian.0.2
 - remove herelib.109.13.00
 - remove optcomp.1.4
 - install cppo.0.9.3 [required by github]
 - downgrade ocamlfind.1.3.3 to 1.3.2 [required by cow, github, xmlm]
 - recompile camomile.0.8.3 [use ocamlfind]
 - recompile cmdliner.0.9.2 [use ocamlfind]
 - downgrade cstruct.0.7.1 to 0.5.3 [required by github]
 - install easy-format.1.0.1 [required by github]
 - install menhir.20120123 [required by github]
 - recompile ounit.1.1.2 [use ocamlfind]
 - downgrade re.1.2.0 to 1.1.0 [required by cow, github]
 - recompile react.0.9.4 [use ocamlfind]
 - recompile res.3.2.0 [use ocamlfind]
 - install ssl.0.4.6 [required by github]
 - downgrade type_conv.109.13.00 to 108.00.02 [required by cow, github]
 - recompile ulex.1.1 [use ocamlfind]
 - downgrade xmlm.1.1.1 to 1.1.0
 - recompile mirari.0.9.1 [use ocamlfind]
 - install biniou.1.0.5 [required by github]
 - install atd.1.0.2 [required by github]
 - downgrade uri.1.3.6 to 1.1 [required by github]
 - recompile zed.1.2 [use ocamlfind]
 - recompile lwt.2.4.3 [use ocamlfind]
 - downgrade bin_prot.109.13.00 to 108.00.02 [required by github]
 - downgrade dyntype.0.9.0 to 0.8.3 [required by cow]
 - downgrade fieldslib.109.13.00 to 108.00.02 [required by github]
 - downgrade pa_ounit.109.13.00 to 108.00.02 [required by github]
 - downgrade pipebang.109.13.00 to 108.00.02 [required by github]
 - downgrade sexplib.109.13.00 to 108.00.02 [required by github]
 - downgrade variantslib.109.13.00 to 108.00.02 [required by github]
 - install yojson.1.1.3 [required by github]
 - recompile lambda-term.1.2 [use ocamlfind]
 - downgrade xenstore.1.2.0 to 1.0.0 [required by github]
 - downgrade cow.0.5.3 to 0.3.2
 - downgrade core.109.13.00 to 108.00.02 [required by github]
 - install atdgen.1.2.2 [required by github]
 - recompile utop.1.4.0 [use ocamlfind]
 - downgrade mirage.0.8.0 to 0.5.0 [required by github]
 - downgrade async_core.109.13.00 to 108.00.02 [required by github]
 - downgrade mirage-net.0.5.2 to 0.3.1 [required by github]
 - downgrade async_unix.109.13.00 to 108.00.02 [required by github]
 - downgrade async_extra.109.13.00 to 108.00.02 [required by github]
 - downgrade async.109.13.00 to 108.00.02 [required by github]
 - install cohttp.0.9.1 [required by github]
 - install github.0.3.0
10 to install | 11 to reinstall | 0 to upgrade | 22 to downgrade | 5 to remove
Do you want to continue ? [Y/n] ^C'opam install github' failed.

$ opam install github.0.4.3
The following actions will be performed:
 - install cppo.0.9.3 [required by github]
 - install easy-format.1.0.1 [required by github]
 - upgrade ocplib-endian.0.2 to 0.3 [required by github]
 - upgrade type_conv.109.13.00 to 109.14.00 [required by github]
 - upgrade pipebang.109.13.00 to 109.14.00 [required by github]
 - install menhir.20120123 [required by github]
 - upgrade herelib.109.13.00 to 109.14.00 [required by github]
 - install ssl.0.4.6 [required by github]
 - install biniou.1.0.5 [required by github]
 - upgrade bin_prot.109.13.00 to 109.14.00 [required by github]
 - upgrade comparelib.109.13.00 to 109.14.00 [required by github]
 - recompile dyntype.0.9.0 [use type_conv]
 - upgrade fieldslib.109.13.00 to 109.14.00 [required by github]
 - upgrade pa_ounit.109.13.00 to 109.14.00 [required by github]
 - upgrade sexplib.109.13.00 to 109.14.00 [required by github]
 - upgrade variantslib.109.13.00 to 109.14.00 [required by github]
 - install atd.1.0.2 [required by github]
 - recompile lwt.2.4.3 [use ssl]
 - install yojson.1.1.3 [required by github]
 - recompile cow.0.5.3 [use type_conv]
 - upgrade core.109.13.00 to 109.14.00 [required by github]
 - recompile lambda-term.1.2 [use ssl]
 - install atdgen.1.2.3 [required by github]
 - upgrade async_core.109.13.00 to 109.14.00 [required by github]
 - recompile utop.1.4.0 [use ssl]
 - upgrade async_unix.109.13.00 to 109.14.00 [required by github]
 - upgrade async_extra.109.13.00 to 109.14.00 [required by github]
 - upgrade async.109.13.00 to 109.14.00 [required by github]
 - recompile cstruct.0.7.1 [use herelib, ocplib-endian, pipebang, ssl, type_conv]
 - upgrade shared-memory-ring.0.3.0 to 0.3.1 [required by github]
 - upgrade xenstore.1.2.0 to 1.2.1 [required by github]
 - recompile mirage.0.8.0 [use herelib, ocplib-endian, pipebang, ssl, type_conv]
 - recompile mirage-net.0.5.2 [use herelib, ocplib-endian, pipebang, ssl, type_conv]
 - install cohttp.0.9.6 [required by github]
 - install github.0.4.3
10 to install | 8 to reinstall | 17 to upgrade | 0 to downgrade | 0 to remove
Do you want to continue ? [Y/n] ^C'opam install github.0.4.3' failed.
samoht commented 11 years ago

Could you open the issue in OPAM bug tracker ?

The heuristics should really favour the latest version, shouldnt they?

I can indeed tweak the heuristics to start using the latest version of the packages given on the command line.

rdicosmo commented 11 years ago

Hi Anil, with the growing number of packages, the need to offload constraint solving to the external solver will definitely increase.

May I suggest that some energy be devoted to start packaging aspcud for all supported platforms? Rewriting all this in OCaml, if really that is a political must, will always be possible later on, but let's start by having something working soon.

BTW, the debian/ubuntu based opam users I know, using aspcud, are pretty happy after the last change in optimization criteria.

On Fri, Mar 22, 2013 at 03:54:40AM -0700, Anil Madhavapeddy wrote:

It's Friday, so here's a constraint solver bug :) I just tried to install github and got a bunch of downgrades. Explicitly requesting the latest version github.0.4.3 made it succeed. The heuristics should really favour the latest version, shouldnt they?

This will come up a lot with the frequent Core upgrades, sadly...

$ opam install github . brute-force exploration timed-out [721 states, 5s]. You might need to add explicit version constraints to your request to get a better answer. The following actions will be performed:

  • remove shared-memory-ring.0.3.0
  • remove comparelib.109.13.00
  • remove ocplib-endian.0.2
  • remove herelib.109.13.00
  • remove optcomp.1.4
  • install cppo.0.9.3 [required by github]
  • downgrade ocamlfind.1.3.3 to 1.3.2 [required by cow, github, xmlm]
  • recompile camomile.0.8.3 [use ocamlfind]
  • recompile cmdliner.0.9.2 [use ocamlfind]
  • downgrade cstruct.0.7.1 to 0.5.3 [required by github]
  • install easy-format.1.0.1 [required by github]
  • install menhir.20120123 [required by github]
  • recompile ounit.1.1.2 [use ocamlfind]
  • downgrade re.1.2.0 to 1.1.0 [required by cow, github]
  • recompile react.0.9.4 [use ocamlfind]
  • recompile res.3.2.0 [use ocamlfind]
  • install ssl.0.4.6 [required by github]
  • downgrade type_conv.109.13.00 to 108.00.02 [required by cow, github]
  • recompile ulex.1.1 [use ocamlfind]
  • downgrade xmlm.1.1.1 to 1.1.0
  • recompile mirari.0.9.1 [use ocamlfind]
  • install biniou.1.0.5 [required by github]
  • install atd.1.0.2 [required by github]
  • downgrade uri.1.3.6 to 1.1 [required by github]
  • recompile zed.1.2 [use ocamlfind]
  • recompile lwt.2.4.3 [use ocamlfind]
  • downgrade bin_prot.109.13.00 to 108.00.02 [required by github]
  • downgrade dyntype.0.9.0 to 0.8.3 [required by cow]
  • downgrade fieldslib.109.13.00 to 108.00.02 [required by github]
  • downgrade pa_ounit.109.13.00 to 108.00.02 [required by github]
  • downgrade pipebang.109.13.00 to 108.00.02 [required by github]
  • downgrade sexplib.109.13.00 to 108.00.02 [required by github]
  • downgrade variantslib.109.13.00 to 108.00.02 [required by github]
  • install yojson.1.1.3 [required by github]
  • recompile lambda-term.1.2 [use ocamlfind]
  • downgrade xenstore.1.2.0 to 1.0.0 [required by github]
  • downgrade cow.0.5.3 to 0.3.2
  • downgrade core.109.13.00 to 108.00.02 [required by github]
  • install atdgen.1.2.2 [required by github]
  • recompile utop.1.4.0 [use ocamlfind]
  • downgrade mirage.0.8.0 to 0.5.0 [required by github]
  • downgrade async_core.109.13.00 to 108.00.02 [required by github]
  • downgrade mirage-net.0.5.2 to 0.3.1 [required by github]
  • downgrade async_unix.109.13.00 to 108.00.02 [required by github]
  • downgrade async_extra.109.13.00 to 108.00.02 [required by github]
  • downgrade async.109.13.00 to 108.00.02 [required by github]
  • install cohttp.0.9.1 [required by github]
  • install github.0.3.0 10 to install | 11 to reinstall | 0 to upgrade | 22 to downgrade | 5 to remove Do you want to continue ? [Y/n] ^C'opam install github' failed.

$ opam install github.0.4.3 The following actions will be performed:

  • install cppo.0.9.3 [required by github]
  • install easy-format.1.0.1 [required by github]
  • upgrade ocplib-endian.0.2 to 0.3 [required by github]
  • upgrade type_conv.109.13.00 to 109.14.00 [required by github]
  • upgrade pipebang.109.13.00 to 109.14.00 [required by github]
  • install menhir.20120123 [required by github]
  • upgrade herelib.109.13.00 to 109.14.00 [required by github]
  • install ssl.0.4.6 [required by github]
  • install biniou.1.0.5 [required by github]
  • upgrade bin_prot.109.13.00 to 109.14.00 [required by github]
  • upgrade comparelib.109.13.00 to 109.14.00 [required by github]
  • recompile dyntype.0.9.0 [use type_conv]
  • upgrade fieldslib.109.13.00 to 109.14.00 [required by github]
  • upgrade pa_ounit.109.13.00 to 109.14.00 [required by github]
  • upgrade sexplib.109.13.00 to 109.14.00 [required by github]
  • upgrade variantslib.109.13.00 to 109.14.00 [required by github]
  • install atd.1.0.2 [required by github]
  • recompile lwt.2.4.3 [use ssl]
  • install yojson.1.1.3 [required by github]
  • recompile cow.0.5.3 [use type_conv]
  • upgrade core.109.13.00 to 109.14.00 [required by github]
  • recompile lambda-term.1.2 [use ssl]
  • install atdgen.1.2.3 [required by github]
  • upgrade async_core.109.13.00 to 109.14.00 [required by github]
  • recompile utop.1.4.0 [use ssl]
  • upgrade async_unix.109.13.00 to 109.14.00 [required by github]
  • upgrade async_extra.109.13.00 to 109.14.00 [required by github]
  • upgrade async.109.13.00 to 109.14.00 [required by github]
  • recompile cstruct.0.7.1 [use herelib, ocplib-endian, pipebang, ssl, type_conv]
  • upgrade shared-memory-ring.0.3.0 to 0.3.1 [required by github]
  • upgrade xenstore.1.2.0 to 1.2.1 [required by github]
  • recompile mirage.0.8.0 [use herelib, ocplib-endian, pipebang, ssl, type_conv]
  • recompile mirage-net.0.5.2 [use herelib, ocplib-endian, pipebang, ssl, type_conv]
  • install cohttp.0.9.6 [required by github]
  • install github.0.4.3 10 to install | 8 to reinstall | 17 to upgrade | 0 to downgrade | 0 to remove Do you want to continue ? [Y/n] ^C'opam install github.0.4.3' failed.

— Reply to this email directly or view it on GitHub.*

Roberto Di Cosmo

Professeur En delegation a l'INRIA PPS E-mail: roberto@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 320 (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

avsm commented 11 years ago

apologies for the wrong repo; I've cloned it to OCamlPro/opam#555.

@rdicosmo: I'm happy to use whatever solver is best, as long as it's the default one that will be used by OPAM end-users. I have no view on what that should be, as @samoht owns this space.