<div dir="ltr"><div>Thanks!<br><br></div>Jesper<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 25, 2015 at 4:21 PM, gallais <span dir="ltr"><<a href="mailto:guillaume.allais@ens-lyon.org" target="_blank">guillaume.allais@ens-lyon.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Jesper,<br>
<br>
You need to install Hans Boehm's gc. On debian it's the libgc-dev<br>
package IIRC. Related issue:<a href="https://github.com/idris-lang/Idris-dev/issues/427" target="_blank">https://github.com/<u></u>idris-lang/Idris-dev/issues/<u></u>427</a><br>
<br>
Cheers,<div><div class="h5"><br>
<br>
On 25/02/15 15:11, Jesper Cockx wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
Hi all,<br>
<br>
Is there an easy way to install the Epic compiler for Agda? The page at <a href="http://wiki.portal.chalmers.se/agda/agda.php?n=Main.Epic" target="_blank">http://wiki.portal.chalmers.<u></u>se/agda/agda.php?n=Main.Epic</a> seems badly outdated. I've tried running 'cabal install epic' but this fails with the error:<br>
<br>
Linking dist/build/epic/epic ...<br>
make: Entering directory `/tmp/epic-0.9.3.2-13855/epic-<u></u><a href="http://0.9.3.2/evm" target="_blank">0.9.3.2/evm</a>'<br>
gcc -Wall -O3 -DUSE_BOEHM -c -o closure.o closure.c<br>
In file included from closure.h:4:0,<br>
from closure.c:1:<br>
gc_header.h:10:19: fatal error: gc/gc.h: No such file or directory<br>
#include <gc/gc.h><br>
^<br>
compilation terminated.<br>
make: *** [closure.o] Error 1<br>
make: Leaving directory `/tmp/epic-0.9.3.2-13855/epic-<u></u><a href="http://0.9.3.2/evm" target="_blank">0.9.3.2/evm</a>'<br>
Failed to install epic-0.9.3.2<br>
cabal: Error: some packages failed to install:<br>
epic-0.9.3.2 failed during the building phase. The exception was:<br>
ExitFailure 2<br>
<br>
According to the page at <a href="http://eb.host.cs.st-andrews.ac.uk/epic.php" target="_blank">http://eb.host.cs.st-andrews.<u></u>ac.uk/epic.php</a>, this means I'm missing the Boehm garbage collector, for which there should be a debian package, but of which I cannot find the name.<br>
<br>
<br>
Jesper<br>
<br>
<br></div></div>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
</blockquote>
<br>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
</blockquote></div><br></div>