From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id SAA05315 for caml-redistribution; Tue, 19 Dec 1995 18:08:32 +0100
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id PAA02675 for <caml-list@pauillac.inria.fr>; Tue, 19 Dec 1995 15:36:49 +0100
Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id PAA10779 for <caml-list@pauillac.inria.fr>; Tue, 19 Dec 1995 15:36:49 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id PAA14190 for <caml-list@margaux.inria.fr>; Tue, 19 Dec 1995 15:36:48 +0100
Received: from lri.lri.fr (root@lri.lri.fr [129.175.15.1]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id PAA10775 for <caml-list@margaux.inria.fr>; Tue, 19 Dec 1995 15:36:48 +0100 (MET)
Received: from newsun8.lri.fr (engel@newsun8.lri.fr [129.175.8.15]) 
	by lri.lri.fr (8.6.12/general) 
	with ESMTP id PAA12367	for <caml-list@margaux.inria.fr>; Tue, 19 Dec 1995 15:31:41 +0100
Received: by newsun8.lri.fr
	(8.6.12/local) id PAA09839
	for caml-list@margaux.inria.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
X-Sun-Charset: US-ASCII
Sender: weis


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