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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 1F84CBB84 for ; Sun, 5 Oct 2008 10:12:55 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUAAOsT6EjRVcbplGdsb2JhbACTHT4BAQEBCQsKBw8FnQlsJ4VXAQI X-IronPort-AV: E=Sophos;i="4.33,363,1220220000"; d="scan'208";a="18240489" Received: from rv-out-0506.google.com ([209.85.198.233]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Oct 2008 10:12:54 +0200 Received: by rv-out-0506.google.com with SMTP id f6so2281003rvb.3 for ; Sun, 05 Oct 2008 01:12:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=Y3DTeNq2/6swTY4zGi8qGXBSojKU3cjZpK0TyOo3Eto=; b=pCSDGN/b0jKbvpTptO1xwjbbvFalMOwOrIy8H+oTm3FSmPDLPpD23H6mZgJ9AEBuLY Go7dttiyMaLxv4dYUCk74Owo2NPdxR7IKi1HxdbkWMqTDt88V/lJzqRzZ+SUGNyMciFg +jgoj+8cq18pEy70pkk3CAs/vuAc2Yz4COGiA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=IxZTvcCaWL8kvgZB8FYr7uTgEiLsBmlVmbvzoTaboQ7tMkn+PoagBbEBWbT4eMYN3e A0/ACyt8hmtreT2WyOEO9naYFfmVUbMBsd3mIaL78Ywl6b1Ync6wLqjIq4R7IZ7RWWln srY3W56fq74VhaExqOyOaQl9R9xl8U8wH38Xg= Received: by 10.141.1.2 with SMTP id d2mr1991521rvi.129.1223194373338; Sun, 05 Oct 2008 01:12:53 -0700 (PDT) Received: by 10.141.82.18 with HTTP; Sun, 5 Oct 2008 01:12:53 -0700 (PDT) Message-ID: <666572260810050112k67931825g3d258be19c51df52@mail.gmail.com> Date: Sun, 5 Oct 2008 10:12:53 +0200 From: Adrien To: "Stefano Zacchiroli" Subject: Re : [Caml-list] Reading external references from cmo/cmx files Cc: caml-list@yquem.inria.fr In-Reply-To: <20081005075149.GC9116@usha.takhisis.invalid> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <2738.192.168.2.3.1223151615.squirrel@192.168.2.5> <48E7D514.4070502@glondu.net> <20081005075149.GC9116@usha.takhisis.invalid> X-Spam: no; 0.00; cmo:01 cmx:01 ocaml:01 zacchiroli:01 zack:01 0200,:01 cmo:01 cmx:01 bytecode:01 cheers:01 zacchiroli:01 postdoc:01 zack:01 beginner's:01 ocaml:01 I found a link but it's 2003, ocaml 3.04. I don't know how relevant it is. http://groups.google.com/group/fa.caml/msg/943e8b6642d23992 --- Adrien Nader 2008/10/5, Stefano Zacchiroli : > On Sat, Oct 04, 2008 at 10:41:56PM +0200, St=E9phane Glondu wrote: >> Jason Noakes wrote: >> > Are there any tools or examples that would allow me to take a .cmo or >> > .cmx >> > file and produce a list of the external modules that are referenced fr= om >> > that file? >> >> There is ocamlobjinfo. But it seems to work only with bytecode objects >> (.cmo/.cma). > > Actually, sometimes ago, someone wrote an implementation of > ocamlobjinfo for native code object, but unfortunately right I fail to > find the reference on the Web. > > Does anybody remember it? > > Cheers. > > -- > Stefano Zacchiroli -*- PhD in Computer Science \ PostDoc @ Univ. Paris 7 > zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ > I'm still an SGML person,this newfangled /\ All one has to do is hit the > XML stuff is so ... simplistic -- Manoj \/ right keys at the right time > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >