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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 0F17CBC37 for ; Thu, 1 Oct 2009 16:02:27 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0DALBTxEqGnQCBjmdsb2JhbACabgEBCQsIGgW7Y4QpBA X-IronPort-AV: E=Sophos;i="4.44,487,1249250400"; d="scan'208";a="33970039" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Oct 2009 16:02:26 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id n91E2PO8075532 ; Thu, 1 Oct 2009 16:02:25 +0200 (CEST) X-Ids:165 Received: from [134.157.168.19] (dogguy@potassium.pps.jussieu.fr [134.157.168.19]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id n91E2LK0008214 ; Thu, 1 Oct 2009 16:02:21 +0200 Message-ID: <4AC4B66D.1010702@pps.jussieu.fr> Date: Thu, 01 Oct 2009 16:02:21 +0200 From: Mehdi Dogguy Organization: PPS User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090706) MIME-Version: 1.0 To: rixed@happyleptic.org Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Missing the cmi files required to use toplevellib.cma References: <20091001120946.GA17610@yeeloong> In-Reply-To: <20091001120946.GA17610@yeeloong> X-Enigmail-Version: 0.96.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Virus-Scanned: ClamAV 0.94.2/9858/Thu Oct 1 13:53:06 2009 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at jchkmail2.jussieu.fr with ID 4AC4B671.007 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4AC4B671.007/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Spam: no; 0.00; cmi:01 toplevellib:01 ocaml:01 cmi:01 ocaml:01 cheers:01 W8:98 W10:98 wrote:01 pps:01 pps:01 caml-list:01 jussieu:01 jussieu:01 cma:01 rixed@happyleptic.org wrote: > While learning OCaml, I just coded a small program that dumps > the full content of a cmi file. Have you tried ocamlobjinfo? We install it along with OCaml in Debian. (tools/objinfo.ml in OCaml source code) Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38