Browse thread
Separate compilation
- Emmanuel.Engel@l...
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Emmanuel.Engel@l... |
| Subject: | Separate compilation |
Je suis surpris par les dependance crees par csldep
************ main.ml *******************
let _ = Aux.v
****************************************
************** aux.mli *****************
val v : unit
****************************************
*************** aux.ml *****************
let v = ()
****************************************
csldep *.ml
aux.cmo : aux.cmi
aux.cmx : aux.cmi
main.cmo : aux.cmi
main.cmx : aux.cmx
^????
Les dependances entre fichiers ne passent
pas par l'interface (ie cmi) ?
Emmanuel Engel