The Coq mailing list

[S�bastien Hinderer <Sebastien.Hinderer AT ens-lyon.fr>]

Hi,

I have to write a set of compilation scripts for a project that has crossed
dependencies over directories:
the project consists of more directories, each of them containing more .v
files. However, it is not possible to compile the directories one after the
other, since the dependencies don't respect the directory structure.

So I presume that coq_makefile is not general enough, since its "depend"
rule looks for dependencies on "*.v", where I would need a recursive search
of *.v files.

Am I right or is there another solution ?

Bests,
Sébastien.