On Wed, Oct 31, 2012 at 1:17 AM, Matthias Hölzl <tc@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