[Agda] Makefile

David Leduc david.leduc6 at googlemail.com
Fri Sep 24 16:19:00 CEST 2010


On Fri, Sep 24, 2010 at 1:29 PM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> On Sep 24, 2010, at 1:18 PM, David Leduc wrote:
>
>> Hi again,
>>
>> Is there an equivavent of Coq's coq_makefile for Agda?
>
> Aeh, explain please!

Well, coq_makefile is a shell command that takes as input names of Coq
files and output a makefile that will take care of everything
including their dependencies, their ompilation and their
documentation.

Anything like that with Agda?


More information about the Agda mailing list