<div dir="ltr"><div><div><div>Hi all,<br><br></div>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">http://wiki.portal.chalmers.se/agda/agda.php?n=Main.Epic</a> seems badly outdated. I&#39;ve tried running &#39;cabal install epic&#39; 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-0.9.3.2/evm&#39;<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 &lt;gc/gc.h&gt;<br>                   ^<br>compilation terminated.<br>make: *** [closure.o] Error 1<br>make: Leaving directory `/tmp/epic-0.9.3.2-13855/epic-0.9.3.2/evm&#39;<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></div>According to the page at <a href="http://eb.host.cs.st-andrews.ac.uk/epic.php">http://eb.host.cs.st-andrews.ac.uk/epic.php</a>, this means I&#39;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></div>Jesper<br></div>