[Agda] How to install Epic for Agda?

[Jesper Cockx]

Thanks!

Jesper

On Wed, Feb 25, 2015 at 4:21 PM, gallais <guillaume.allais at ens-lyon.org>
wrote:

> 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
>>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20150225/d86f6354/attachment.html