coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: rabforum <rabforum AT ukr.net>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] automatic compile with hierarchical module names
- Date: Sun, 17 Aug 2008 18:07:31 +0300
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
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.?
- [Coq-Club] automatic compile with hierarchical module names, rabforum
Archive powered by MhonArc 2.6.16.