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 BA3B8BC68 for ; Thu, 21 Sep 2006 11:26:49 +0200 (CEST) Received: from [128.93.11.95] (estephe.inria.fr [128.93.11.95]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8L9QBUw019447; Thu, 21 Sep 2006 11:26:11 +0200 Message-ID: <45125AB3.60506@inria.fr> Date: Thu, 21 Sep 2006 11:26:11 +0200 From: Xavier Leroy User-Agent: Mozilla Thunderbird 1.0.6-6mdk (X11/20050322) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Samuel Mimram Cc: Caml List , Julien Cristau , Stefano Zacchiroli Subject: Re: [Caml-list] Module dependencies of bytecode executables References: <451241CD.9090807@ens-lyon.org> In-Reply-To: <451241CD.9090807@ens-lyon.org> X-Enigmail-Version: 0.92.0.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 45125AB3.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; dependencies:01 bytecode:01 bytecode:01 distrib:01 caml-list:01 interfaces:01 executables:01 grep:01 modules:02 seems:03 executable:03 executable:03 module:03 library:03 debug:03 > Is it somehow possible to extract the list of modules used by a bytecode > executable? "ocamldumpobj a.out | grep SETGLOBAL" seems to be a good > starting point but I don't know if it's reliable. It is reliable. > 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. > 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. - Xavier Leroy