[Agda] Makefile

[Nils Anders Danielsson]

On 2010-09-24 10:19, David Leduc wrote:
> 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?

Agda already takes care of the import chasing for you. Note that running
the type-checker once for every input file can slow things down;
reloading interfaces takes time.

--
/NAD