The Coq mailing list

[rabforum <rabforum AT ukr.net>]

I'm actually trying to run one of Coq's contributions, Constructive 
Category Theory http://coq.inria.fr/contribs/category.html . I want to 
use a hierarchical module names, like in this letter about CoLoR: 
http://pauillac.inria.fr/pipermail/coq-club/2008/003746.html . 
Unforunatily coq_makefile don't produce Makefile that gives to coqc '-R' 
option even if I give '-R' option to coq_makefile. So instead of using 
make I have written a Haskell script that compiles files in a folder and 
its subfolders in no particular order. Of cause, my script yields errors 
because of dependencies. So I repeat my script until it yields zero errors.

Is there an easy way, special tools etc.?