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

Roberto Di Cosmo roberto at dicosmo.org
Thu Mar 27 14:25:13 GMT 2014


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                        


More information about the opam-devel mailing list