<div class="gmail_extra">On Wed, Oct 31, 2012 at 1:17 AM, Matthias Hölzl <span dir="ltr"><<a href="mailto:tc@xantira.com" target="_blank">tc@xantira.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<br>
when compiling the Snark theorem prover (<<a href="http://www.ai.sri.com/~stickel/snark.html" target="_blank">http://www.ai.sri.com/~stickel/snark.html</a>>, or with ASDF system definition at <<a href="https://github.com/hoelzl/Snark" target="_blank">https://github.com/hoelzl/Snark</a>>),  ECL (version 12.7.1 on OSX 10.8.2, installed using homebrew) fails with an internal error: </blockquote>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"> [...]</blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">


> (asdf:compile-system :snark)</blockquote></div><br><div class="gmail_extra">Condition of type: MISSING-DEPENDENCY</div><div class="gmail_extra">Component #:SNARK-IMPLEMENTATION not found, required by #<system "snark"></div>

<div><br></div><div>Did I use the wrong repo?</div><div><br></div><div>Juanjo</div><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>


</div>