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?
Juanjo
--
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
------------------------------------------------------------------------------
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
