[opam-devel] Apscud on osx < 10.9 (was Re: aspcud 1.9.0 packages on Archlinux)
Anil Madhavapeddy
anil at recoil.org
Thu Mar 27 15:42:15 GMT 2014
Unfortunately, there's no clear maintainer scheme in Homebrew. I wasn't aware of the clasp update at all until you pointed it out here...
-anil
]
On 27 Mar 2014, at 15:34, Dagnat Fabien <fabien.dagnat at telecom-bretagne.eu> wrote:
> 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
>
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel
More information about the opam-devel
mailing list