<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; "><div><div>On Nov 9, 2012, at 22:26 , Juan Jose Garcia-Ripoll <<a href="mailto:juanjose.garciaripoll@gmail.com">juanjose.garciaripoll@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><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; position: static; z-index: auto; ">
<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></blockquote><br></div><div>No, I've had an invalid assumption in my system definition (that asdf also searches for system definitions in the src/ directory). This should be fixed in the latest commit.</div><div><br></div><div>Many thanks for looking into this!</div><div><br></div><div> Matthias</div><div><br></div><br></body></html>