Separate compilation

Emmanuel Engel (Emmanuel.Engel@lri.fr)
Tue, 19 Dec 1995 15:34:40 +0100

Date: Tue, 19 Dec 1995 15:34:40 +0100
From: Emmanuel.Engel@lri.fr (Emmanuel Engel)
Message-Id: <199512191434.PAA09839@newsun8.lri.fr>
To: caml-list@margaux.inria.fr
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