From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Samuel Mimram <samuel.mimram@ens-lyon.org>
Cc: Caml List <caml-list@inria.fr>,
Julien Cristau <jcristau@liafa.jussieu.fr>,
Stefano Zacchiroli <zack@debian.org>
Subject: Re: [Caml-list] Module dependencies of bytecode executables
Date: Thu, 21 Sep 2006 11:26:11 +0200 [thread overview]
Message-ID: <45125AB3.60506@inria.fr> (raw)
In-Reply-To: <451241CD.9090807@ens-lyon.org>
> 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
next prev parent reply other threads:[~2006-09-21 9:26 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-09-21 7:39 Samuel Mimram
2006-09-21 9:26 ` Xavier Leroy [this message]
2006-09-21 10:08 ` [Caml-list] " Stefano Zacchiroli
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=45125AB3.60506@inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=jcristau@liafa.jussieu.fr \
--cc=samuel.mimram@ens-lyon.org \
--cc=zack@debian.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).