[Agda] How to install Epic for Agda?

[Jesper Cockx]

Hi all,

Is there an easy way to install the Epic compiler for Agda? The page at
http://wiki.portal.chalmers.se/agda/agda.php?n=Main.Epic seems badly
outdated. I've tried running 'cabal install epic' but this fails with the
error:

Linking dist/build/epic/epic ...
make: Entering directory `/tmp/epic-0.9.3.2-13855/epic-0.9.3.2/evm'
gcc -Wall -O3 -DUSE_BOEHM   -c -o closure.o closure.c
In file included from closure.h:4:0,
                 from closure.c:1:
gc_header.h:10:19: fatal error: gc/gc.h: No such file or directory
 #include <gc/gc.h>
                   ^
compilation terminated.
make: *** [closure.o] Error 1
make: Leaving directory `/tmp/epic-0.9.3.2-13855/epic-0.9.3.2/evm'
Failed to install epic-0.9.3.2
cabal: Error: some packages failed to install:
epic-0.9.3.2 failed during the building phase. The exception was:
ExitFailure 2

According to the page at http://eb.host.cs.st-andrews.ac.uk/epic.php, 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.


Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150225/3f81af1d/attachment.html