[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