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

[Dagnat Fabien]

The situation may be related to the one I'm facing on os x 10.9. See https://github.com/ocaml/opam/issues/1273.

For me, it happened after an update of clasp from version 3.0.0 to 3.0.1 without any change of aspcud. This seems to mean that clasp has broken something with aspcud 1.8 and therefore the dependency of aspcud should force the use of version 3.0.0 of clasp... 

Added a new comment to the pull request of clasp 3.0.1
see https://github.com/Homebrew/homebrew/pull/27871

I think it is Anil that manage aspcud on homebrew. Does that mean we to wait for aspcud 1.9 to get the external solver back?

Fabien
Le 27 mars 2014 à 15:25, Roberto Di Cosmo <roberto at dicosmo.org> a écrit :

> Thanks, this confirms there is a problem with the aspcud port you are using,
> probably due to mixed up versions of the aspcud dependencies, as Pietro
> suggests.
> 
> You should file a bug on the proper BTS (homebrew?), and sorry for the noise.
> 
> --
> Roberto
> 
> On Thu, Mar 27, 2014 at 02:11:07PM +0100, Daniel Bünzli wrote:
>> Le jeudi, 27 mars 2014 à 13:52, Roberto Di Cosmo a écrit :
>>> Just tested with your cudf file, and aspcud works perfectly here (Debian/amd64),
>>> so it's probably an issue with the aspcud port on your platform
>>> 
>>> $ aspcud /tmp/solver-error-76189-1.cudf /tmp/sol "-count(removed),-notuptodate(solution),-count(new)"
>> This invocation gives that here:
>> 
>>> aspcud /tmp/solver-error-76189-1.cudf /tmp/sol "-count(removed),-notuptodate(solution),-count(new)"
>> *** ERROR: (clasp): In context '<clasp>': unknown option: 'opt-hierarch'
>> *** Info : (clasp): Try '--help' for usage information
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:150:57-76: warning: atom is undefined:
>> recommends(P,V,D,W)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:150:78-92: warning: atom is undefined:
>> installed(P,V)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:148:57-75: warning: atom is undefined:
>> attribute(P,V,A,X)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:148:77-91: warning: atom is undefined:
>> installed(P,V)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:146:64-78: warning: atom is undefined:
>> installed(P,V)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:305:45-57: warning: atom is undefined:
>> unit(P,V,in)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:230:79-91: warning: atom is undefined:
>> unit(P,V,in)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:36:14-27: warning: atom is undefined:
>> clique(#X0,#P1,#P2)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:39:37-50: warning: atom is undefined:
>> clique(I,P,V)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:39:52-64: warning: atom is undefined:
>> unit(P,V,in)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:38:52-65: warning: atom is undefined:
>> clique(I,P,V)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:38:37-49: warning: atom is undefined:
>> unit(P,V,in)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:144:42-56: warning: atom is undefined:
>> installed(P,V)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:141:16-30: warning: atom is undefined:
>> installed(P,V)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:103:79-91: warning: atom is undefined:
>> unit(P,V,in)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:161:63-81: warning: atom is undefined:
>> attribute(P,V,A,X)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:164:42-61: warning: atom is undefined:
>> recommends(P,V,D,W)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:106:49-65: warning: atom is undefined:
>> not unit(P,V,in)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:138:57-76: warning: atom is undefined:
>> recommends(P,V,D,W)
>> /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:109:50-68: warning: atom is undefined:
>> attribute(P,V,A,X)
>> 
>> 
>> 
>> 
> 
> -- 
> 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                        
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel

	Fabien DAGNAT
Maître de conférences au département informatique
Responsable de la filière Systèmes Logiciels et Réseaux
Tél. : (0 | 33) 2 29 00 14 09 Technopôle Brest-Iroise, CS 83818
29238 Brest Cedex 3, France 

Une école de l'Institut Mines-Télécom     

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20140327/b848df9c/attachment-0001.html>