From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id AF56DBBBA for ; Wed, 30 Nov 2005 17:25:08 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAUGP81P020590 for ; Wed, 30 Nov 2005 17:25:08 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA12160 for ; Wed, 30 Nov 2005 17:25:07 +0100 (MET) Received: from sockmel.bononia.it (sockmel.bononia.it [194.242.226.39]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAUGP664020578 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Wed, 30 Nov 2005 17:25:07 +0100 Received: from muletto.takhisis.invalid (n32d16.cs.unibo.it [130.136.32.16]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "Stefano Zacchiroli", Issuer "sockmel.bononia.it" (verified OK)) by sockmel.bononia.it (Postfix) with ESMTP id D415956E38 for ; Wed, 30 Nov 2005 17:25:05 +0100 (CET) Received: by muletto.takhisis.invalid (Postfix, from userid 1000) id D9E8344173; Wed, 30 Nov 2005 17:24:25 +0100 (CET) Date: Wed, 30 Nov 2005 17:24:25 +0100 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: how to detect .cmx incompatibility Message-ID: <20051130162425.GA13757@aquarium.takhisis.invalid> Mail-Followup-To: Inria Ocaml Mailing List References: <438D6B4D.1070004@univ-savoie.fr> <20051130.211930.102965761.garrigue@math.nagoya-u.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20051130.211930.102965761.garrigue@math.nagoya-u.ac.jp> User-Agent: Mutt/1.5.11 X-Miltered: at concorde with ID 438DD264.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 438DD262.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 cmx:01 cmx:01 cmi's:01 dependencies:01 inlining:01 cheers:01 zacchiroli:01 unibo:01 wrote:01 zack:01 zack:01 compile:01 jacques:01 native:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 On Wed, Nov 30, 2005 at 09:19:30PM +0900, Jacques Garrigue wrote: > Directories seem a possible solution. > Note that with native code you must be careful to compile without any > .cmx around (only .cmi's), as this would induce dependencies on a > specific version. This also means that you lose inlining (one major > advantage of native code.) On this subject, is there a way to look at two .cmx and decide whether they link against a common module, but make different assumption about its implementation? With .cmos this is possible using the "objinfo" tool, but it does not work on .cmx .... TIA, Cheers. -- Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/ If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. -!-