Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000050OCamlOCaml generalpublic2000-03-06 17:302000-03-07 10:46
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000050: bug(?) ocamldep
DescriptionLa sortie generee par ocamldep marque les dependences par rapport aux
fichiers .cmo, mais pas .cmi, si bien que si un fichier .cmi manque, il
ne peut pas etre regenere. C'est facile a verifier avec un `rm
*.cmi;make`.

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.

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).



TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002083)
administrator (administrator)
2000-03-07 10:45

> 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
(0002084)
administrator (administrator)
2000-03-07 10:46

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

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker