Comment author: administrator

La sortie generee par ocamldep marque les dependences par rapport aux
fichiers .cmo, mais pas .cmi,

Oui, dans le cas ou l'utilisateur ne fournit pas d'interface .mli pour ses
modules. C'est le seul moyen que nous ayions trouve pour "expliquer" a
make que le .cmi et le .cmo sont alors produits par la compilation du .ml

si bien que si un fichier .cmi manque, il
ne peut pas etre regenere. C'est facile a verifier avec un rm *.cmi;make.

Oui, en effet. Cette situation (un .cmo a jour mais pas de .cmi) ne devrait
cependant jamais se produire, les deux etant crees simultanement.

Je soupconne ce manque d'etre la cause de certains `makefile bugs', mais
je n'en suis pas certain dans la mesure ou j'avais moi-meme un bug dans
mes regles pour ocamlyacc/ocamllex.

Nous n'avons jamais eu de problemes avec cette approche.

A ce sujet, il serait sans doute interessant d'orienter les gens vers la
syntaxe GNUMakefile, qui est moins portable mais est beaucoup lus pratique
pour decrire les regles generant plusieurs fichiers (ml -> cmi cmo).

C'est vrai, mais la compatibilite avec les autres "make" est importante,
en particulier pour compiler le systeme lui-meme.

Cordialement,

• Xavier Leroy

Comment author: administrator

That's the way ocamldep is supposed to work (for compatibility with non-GNU
"make")