[Ecls-list] Internal error when compiling the Snark theorem prover with ECL 12.7.1

[Juan Jose Garcia-Ripoll]

On Wed, Oct 31, 2012 at 1:17 AM, Matthias Hölzl <tc at xantira.com> wrote:

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

 [...]

> (asdf:compile-system :snark)


Condition of type: MISSING-DEPENDENCY
Component #:SNARK-IMPLEMENTATION not found, required by #<system "snark">

Did I use the wrong repo?

Juanjo

-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20121109/dd3050fd/attachment.html>