[opam-devel] Apscud on osx < 10.9 (was Re: aspcud 1.9.0 packages on Archlinux)

[Roberto Di Cosmo]

On Thu, Mar 27, 2014 at 01:01:08PM +0100, Daniel Bünzli wrote:
> Ok so it seems that: 
> 
> * I do have some kind of version > 1.1.1, opam --git-version should be fixed, it's annoying to be blind.

Indeed

> * apscud doesn't work on 10.8.5 I always get the warning mentioned earlier and it falls back to the internal solver

Seems so... to check this is actually the case, you can call aspcud directly on the cudf you generated, for example

$ aspcud /tmp/solver-error-76189-1.cudf /tmp/sol.cudf "-count(removed),-notuptodate(solution),-count(new)"

> * falling back to the internal solver has catastrophic consequences (it even
> wants to remove the base packages), the solutions are absurdly different from
> those proposed by a call without external solver.

In oldish versions of opam, despite the message stating "falling back to the
internal solver", no fall-back was performed, hence the absurd solutions.
This was fixed in trunk by Louis and me recently.

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