Skip to Content.
Sympa Menu

coq-club - [Coq-Club] automatic compile with hierarchical module names

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] automatic compile with hierarchical module names


chronological Thread 
  • 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.?





Archive powered by MhonArc 2.6.16.

Top of Page