The Coq mailing list

[Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>]

 > 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.

You're right.

However, you  can take coq_makefile's output  as a basis  for your own
Makefile  (you probably  only need  to change  *.v into  */*.v  in the
depend rule).

-- 
Jean-Christophe