coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Installation error (post-scriptum)

From: Hugo Herbelin <Hugo.Herbelin AT inria.fr>
To: Evgeny Makarov <emakarov AT gmail.com>, coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Installation error (post-scriptum)
Date: Mon, 5 Jul 2010 19:59:30 +0200

> > In the end, the file dumptree.ml4.d contains one line:
> > plugins/xml/dumptree.ml: parsing/grammar.cma

This is normal, the dependency in the ppdecl_proof and in decl_mode
are in dumptree.ml and if ever these dependencies are wrong, they will
be regenerated after a "make clean".

Hugo

[Coq-Club] Installation error, Evgeny Makarov
- Re: [Coq-Club] Installation error, Hugo Herbelin
  - Re: [Coq-Club] Installation error (post-scriptum), Hugo Herbelin