The Coq mailing list

[Wafa Ben Jaballah <wafa.benjaballah AT labri.fr>]

Dear Coq users,

 I am a beginner in Coq, and  I would like to compile  the distribution "Containers".  I followed the steps to compile it, however, I got the following error message:

-------
coqc  -q  -R theories Containers -R src Containers.Plugin   theories/Bridge
File "src/containers_plugin_mod.ml"

, line 1, characters 6-28:
Error: Unbound module Mltop
make: *** [src/containers_plugin_mod.cmo] Erreur 2
make: *** Attente des tâches non terminées....
File "src/printing.mli", line 1, characters 39-50:
Error: Unbound module Term
make: *** [src/printing.cmi] Erreur 2
File "src/containers_plugin_mod.ml", line 1, characters 6-28:
Error: Unbound module Mltop
make: *** [src/containers_plugin_mod.cmx] Erreur 2
Identifier 'UsualOrderedType' now a keyword
----------
I looked for the problem but I don't know whether it is related to OCaml, or there is an incompatibility between the different versions.
Actually, I have the following versions installed:
-Ocaml 4.01.0
- Coq 8.4 pl4
-Proof General 4.3pre130510.

Did someone encountered this kind of problems?

Thanks for your help,
Regards,
Wafa