On Nov 9, 2012, at 22:26 , Juan Jose Garcia-Ripoll
<juanjose.garciarip...@gmail.com> wrote:
> On Wed, Oct 31, 2012 at 1:17 AM, Matthias Hölzl <t...@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
------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_d2d_nov
_______________________________________________
Ecls-list mailing list
Ecls-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ecls-list
