<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">The situation may be related to the one I'm facing on os x 10.9. See <a href="https://github.com/ocaml/opam/issues/1273">https://github.com/ocaml/opam/issues/1273</a>.<div><br></div><div>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... </div><div><br></div><div>Added a new comment to the pull request of clasp 3.0.1</div><div>see <a href="https://github.com/Homebrew/homebrew/pull/27871">https://github.com/Homebrew/homebrew/pull/27871</a></div><div><br></div><div>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?</div><div><br></div><div>Fabien<br><div><div>Le 27 mars 2014 à 15:25, Roberto Di Cosmo <<a href="mailto:roberto@dicosmo.org">roberto@dicosmo.org</a>> a écrit :</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-size: 18px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Thanks, this confirms there is a problem with the aspcud port you are using,<br>probably due to mixed up versions of the aspcud dependencies, as Pietro<br>suggests.<br><br>You should file a bug on the proper BTS (homebrew?), and sorry for the noise.<br><br>--<br>Roberto<br><br>On Thu, Mar 27, 2014 at 02:11:07PM +0100, Daniel Bünzli wrote:<br><blockquote type="cite">Le jeudi, 27 mars 2014 à 13:52, Roberto Di Cosmo a écrit :<br><blockquote type="cite">Just tested with your cudf file, and aspcud works perfectly here (Debian/amd64),<br>so it's probably an issue with the aspcud port on your platform<br><br>$ aspcud /tmp/solver-error-76189-1.cudf /tmp/sol "-count(removed),-notuptodate(solution),-count(new)"<br></blockquote>This invocation gives that here:<br><br><blockquote type="cite">aspcud /tmp/solver-error-76189-1.cudf /tmp/sol "-count(removed),-notuptodate(solution),-count(new)"<br></blockquote>*** ERROR: (clasp): In context '<clasp>': unknown option: 'opt-hierarch'<br>*** Info : (clasp): Try '--help' for usage information<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:150:57-76: warning: atom is undefined:<br>recommends(P,V,D,W)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:150:78-92: warning: atom is undefined:<br>installed(P,V)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:148:57-75: warning: atom is undefined:<br>attribute(P,V,A,X)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:148:77-91: warning: atom is undefined:<br>installed(P,V)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:146:64-78: warning: atom is undefined:<br>installed(P,V)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:305:45-57: warning: atom is undefined:<br>unit(P,V,in)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:230:79-91: warning: atom is undefined:<br>unit(P,V,in)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:36:14-27: warning: atom is undefined:<br>clique(#X0,#P1,#P2)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:39:37-50: warning: atom is undefined:<br>clique(I,P,V)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:39:52-64: warning: atom is undefined:<br>unit(P,V,in)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:38:52-65: warning: atom is undefined:<br>clique(I,P,V)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:38:37-49: warning: atom is undefined:<br>unit(P,V,in)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:144:42-56: warning: atom is undefined:<br>installed(P,V)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:141:16-30: warning: atom is undefined:<br>installed(P,V)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:103:79-91: warning: atom is undefined:<br>unit(P,V,in)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:161:63-81: warning: atom is undefined:<br>attribute(P,V,A,X)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:164:42-61: warning: atom is undefined:<br>recommends(P,V,D,W)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:106:49-65: warning: atom is undefined:<br>not unit(P,V,in)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:138:57-76: warning: atom is undefined:<br>recommends(P,V,D,W)<br>/usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:109:50-68: warning: atom is undefined:<br>attribute(P,V,A,X)<br><br><br><br><br></blockquote><br>--<span class="Apple-converted-space"> </span><br>Roberto Di Cosmo<br><br>------------------------------------------------------------------<br>Professeur En delegation a l'INRIA<br>PPS E-mail:<span class="Apple-converted-space"> </span><a href="mailto:roberto@dicosmo.org">roberto@dicosmo.org</a><br>Universite Paris Diderot WWW :<span class="Apple-converted-space"> </span><a href="http://www.dicosmo.org/">http://www.dicosmo.org</a><br>Case 7014 Tel : ++33-(0)1-57 27 92 20<br>5, Rue Thomas Mann <br>F-75205 Paris Cedex 13 Identica:<span class="Apple-converted-space"> </span><a href="http://identi.ca/rdicosmo">http://identi.ca/rdicosmo</a><br>FRANCE. Twitter:<span class="Apple-converted-space"> </span><a href="http://twitter.com/rdicosmo">http://twitter.com/rdicosmo</a><br>------------------------------------------------------------------<br>Attachments:<br>MIME accepted, Word deprecated<br> <a href="http://www.gnu.org/philosophy/no-word-attachments.html">http://www.gnu.org/philosophy/no-word-attachments.html</a><br>------------------------------------------------------------------<br>Office location:<br><br>Bureau 3020 (3rd floor)<br>Batiment Sophie Germain<br>Avenue de France<br>Metro Bibliotheque Francois Mitterrand, ligne 14/RER C<br>-----------------------------------------------------------------<br>GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3 <br>_______________________________________________<br>opam-devel mailing list<br><a href="mailto:opam-devel@lists.ocaml.org">opam-devel@lists.ocaml.org</a><br><a href="http://lists.ocaml.org/listinfo/opam-devel">http://lists.ocaml.org/listinfo/opam-devel</a></div></blockquote></div><br><div>
<table style="background-color:#f1f1f1; border:1px #ddd solid;">
<tbody><tr>
<td>
<a href="http://www.telecom-bretagne.eu" target="_blank"><img src="https://img.mines-telecom.fr/signature-mail/logos/logo-tb.png" title="Site web Télécom Bretagne" alt="Télécom Bretagne" style="padding:4px 0 4px 4px;"></a>
</td>
<td>
<div style="float:left; font: 13px/1.5 sans-serif; color:#555; padding:8px 15px;">
<strong>Fabien DAGNAT</strong><br>
Maître de conférences au département informatique<br>
Responsable de la filière Systèmes Logiciels et Réseaux<br>
Tél. : (0 | 33) 2 29 00 14 09
</div>
<div style="float:left; font: bold 11px/1.5 sans-serif; color:#888; padding:8px 15px;">
Technopôle Brest-Iroise,
CS 83818<br>
29238 Brest Cedex 3, France <br>
<a href="http://www.telecom-bretagne.eu" target="_blank" style="text-decoration:none;"><img src="http://img.mines-telecom.fr/signature-mail/social/web.png" title="Site web Télécom Bretagne" alt="Site web Télécom Bretagne" style="padding:3px 10px 4px 0;"></a><a href="http://www.telecom-bretagne.eu/lexians/" target="_blank" style="text-decoration:none;"><img src="http://img.mines-telecom.fr/signature-mail/social/blog.png" title="Blog Télécom Bretagne" alt="Blog Télécom Bretagne" style="padding:3px 10px 4px 0;"></a><br>
Une école de <a href="http://www.mines-telecom.fr" target="_blank">l'Institut Mines-Télécom</a>
</div>
</td>
</tr>
</tbody></table>
</div>
<br></div></body></html>