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

[Matthias Hölzl]

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

> 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?

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20121110/903bdc68/attachment.html>