From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 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 35225BC68 for ; Thu, 21 Sep 2006 12:08:34 +0200 (CEST) Received: from fiton.bononia.it (fiton.bononia.it [130.186.88.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8LA8VOp029400 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Thu, 21 Sep 2006 12:08:33 +0200 Received: from muletto.takhisis.invalid (fiton.bononia.it [130.186.88.105]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "Stefano Zacchiroli", Issuer "sockmel.bononia.it" (not verified)) by fiton.bononia.it (Postfix) with ESMTP id 0B26714683; Thu, 21 Sep 2006 12:08:29 +0200 (CEST) Received: by muletto.takhisis.invalid (Postfix, from userid 1000) id 573804C4013; Thu, 21 Sep 2006 12:08:29 +0200 (CEST) Date: Thu, 21 Sep 2006 12:08:29 +0200 From: Stefano Zacchiroli To: Caml List Cc: Samuel Mimram , Julien Cristau Subject: Re: [Caml-list] Module dependencies of bytecode executables Message-ID: <20060921100829.GA6597@aquarium.takhisis.invalid> Mail-Followup-To: Caml List , Samuel Mimram , Julien Cristau References: <451241CD.9090807@ens-lyon.org> <45125AB3.60506@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <45125AB3.60506@inria.fr> User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at concorde with ID 4512649F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; zacchiroli:01 zack:01 dependencies:01 bytecode:01 bytecode:01 pointer:01 statically:01 pointer:01 dependencies:01 zacchiroli:01 zack:01 unibo:01 2006:98 wrote:01 distrib:01 On Thu, Sep 21, 2006 at 11:26:11AM +0200, Xavier Leroy wrote: > > Are the md5sums of the imported interfaces still available? > Yes, these are saved in the bytecode executable, section "CRCS", > but there are no tools in the distrib that will list this info for you. Any pointer to where to look in the code to write such a tool, or some alternative hack? > > Also, how can I determine which *.so will be dlopened by the executable? > Run the executable with OCAMLRUNPARAM=v=256, this will print debug > messages during shared library loading, including names and > locations of these libraries. That's bad, we were hoping to extract the information statically, without having to run the executable. As above, any pointer? The rationale for all of this is that we are trying to come up with a mechanism for automatically compute (tight) dependencies among debian packages on the basis of the information stored inside bytecode executables and objects. Many thanks for your answer. -- 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. -!-