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

Pietro Abate Pietro.Abate at pps.univ-paris-diderot.fr
Thu Mar 27 13:21:11 GMT 2014


i've seen this message before. It's probably due to a mismatch between
the version of aspcud and the version of clasp/gringo installed on
your system ... Debian packages take care of these dependencies, I'm not sure
about the package manager on your platform.

p


On 27/03/14 14:11, 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)
> 
> 
> 
> 
> _______________________________________________
> 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