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

Louis Gesbert louis.gesbert at ocamlpro.com
Thu Mar 27 13:46:14 GMT 2014


I think our best move on this would be to provide the cudf file + the aspcud output when this happens, and ask to report. With my latest PR, opam will stop so this will be more visible anyway (just suggests to retry with `--use-external-solver` at the moment)

Any better idea ? This would have saved quite a bit of time on this.

Le jeudi 27 mars 2014, 14:21:11 Pietro Abate a écrit :
> 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
> _______________________________________________
> 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