The Coq mailing list

[Adam Chlipala <adamc AT hcoop.net>]

rabforum wrote:
> 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.?

There is a manual-ish way that still lets you use coq_makefile to do 
most of the work.  You can run it like:
   coq_makefile A.v COQC="coqc -R B C" COQDEP="coqdep -R B C"

Modify the alternate command line prefixes suggested to include whatever 
switches you need for your build process, including [-R] path mappings.