From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA17511; Sun, 11 Apr 2004 13:01:46 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA17087 for ; Sun, 11 Apr 2004 13:01:45 +0200 (MET DST) Received: from smtp3.adl2.internode.on.net (smtp3.adl2.internode.on.net [203.16.214.203]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i3BB2ejq010421 for ; Sun, 11 Apr 2004 13:02:41 +0200 Received: from [192.168.1.200] (ppp116-94.lns1.syd2.internode.on.net [150.101.116.94]) by smtp3.adl2.internode.on.net (8.12.9/8.12.9) with ESMTP id i3BB1dvM060615 for ; Sun, 11 Apr 2004 20:31:40 +0930 (CST) Subject: [Caml-list] autocompile From: skaller Reply-To: skaller@users.sourceforge.net To: caml-list Content-Type: text/plain Message-Id: <1081681298.20677.396.camel@pelican> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.2 (1.2.2-4) Date: 11 Apr 2004 21:01:39 +1000 Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; sourceforge:01 usr:01 pervasives:01 usr:01 lablgtk:01 pervasives:01 lablgtk:01 dependencies:01 pathnames:01 permissions:01 findlib:01 9660:01 glebe:01 compiler:01 inconsistent:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 250 I have this annoying problem sometimes: The files /usr/local/lib/ocaml/pervasives.cmi and /usr/local/lib/ocaml/lablgtk2/gdk.cmi make inconsistent assumptions over interface Pervasives Of course the problem is that I installed a new version of Ocaml from a CVS build, but didn't rebuild lablgtk2. Obviously, just saying 'reinstall lablgtk2' isn't an answer: it's in the standard distribution location, the installation process should handle that automatically. I was thinking: why not build the dependencies into the compiled files, so if a compiled file is out of date it can be rebuilt automatically? Perhaps a switch would enable the autorebuild: I wouldn't suggest doing it by default. One would need to put the files depended on, including the path to the compiler, along with timestamps, and also put the command line used for the compilation (possibly with absolute pathnames replacing the ones actually typed in). Also, when installing Ocaml, it would be interesting to have a make target that rebuild any installed libraries, since a user recompilation of a system library would fail due to lack of permissions. Does findlib already do this kind of thing? -- John Skaller, mailto:skaller@users.sf.net voice: 061-2-9660-0850, snail: PO BOX 401 Glebe NSW 2037 Australia Checkout the Felix programming language http://felix.sf.net ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners