On Nov 9, 2012, at 22:26 , Juan Jose Garcia-Ripoll <juanjose.garciaripoll@gmail.com> wrote:

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?

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.

Many thanks for looking into this!

  Matthias