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.8 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 37218BC37 for ; Thu, 1 Oct 2009 15:54:21 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsQCABtRxEpQRFuwWWdsb2JhbACaYgEUFwS7bYQpBA X-IronPort-AV: E=Sophos;i="4.44,487,1249250400"; d="scan'208";a="37278620" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Oct 2009 15:54:20 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.63) (envelope-from ) id 1MtM6t-0005Aa-8T; Thu, 01 Oct 2009 14:54:19 +0100 Date: Thu, 1 Oct 2009 14:54:19 +0100 To: rixed@happyleptic.org Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Missing the cmi files required to use toplevellib.cma Message-ID: <20091001135419.GA10657@annexia.org> References: <20091001120946.GA17610@yeeloong> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20091001120946.GA17610@yeeloong> User-Agent: Mutt/1.5.13 (2006-08-11) From: Richard Jones X-Spam: no; 0.00; cmi:01 toplevellib:01 0200,:01 ocaml:01 cmi:01 toplevel:01 toplevellib:01 printtyp:01 typemod:01 ocaml-:01 compilation:01 ocaml:01 2009:98 config:01 wrote:01 On Thu, Oct 01, 2009 at 02:09:46PM +0200, rixed@happyleptic.org wrote: > While learning OCaml, I just coded a small program that dumps > the full content of a cmi file. I find this more usefull than > ocamlbrowser or to use the toplevel to have a small command line > driven dumper, and it was also a good pretext to have a look > under the cover. You might also want to look at 'cmigrep'. > The problem is : most of the usefull types and functions are > installed in the toplevellib.cma but I can't use this without > the proper cmi files (I need config.cmi for cmi_magic_number, > printtyp.cmi and typemod.cmi for printing signatures, but > env.cmi would be nice to have as well for read_signature). > > Of course I can use those left in ocaml-3.11.1 directory after > compilation, but having them installed would help the creation > and distribution of such tools. This is really a packaging issue. I believe that Debian already ship the compiled sources to OCaml as a separate package, mostly for this reason. (Fedora doesn't, but probably we should follow Debian in this respect). Rich. -- Richard Jones Red Hat