[Agda] How to install Epic for Agda?

gallais guillaume.allais at ens-lyon.org
Wed Feb 25 16:21:43 CET 2015


Hi Jesper,

You need to install Hans Boehm's gc. On debian it's the libgc-dev
package IIRC. Related 
issue:https://github.com/idris-lang/Idris-dev/issues/427

Cheers,

On 25/02/15 15:11, Jesper Cockx wrote:
> 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
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda



More information about the Agda mailing list