From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rixed@happyleptic.org>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.6 required=5.0 tests=NO_REAL_NAME 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 2EC32BC37
	for <caml-list@yquem.inria.fr>; Thu,  1 Oct 2009 18:04:23 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkMCAKlvxErUGyoFkWdsb2JhbACabgEBCQsKGgO8WYQpBA
X-IronPort-AV: E=Sophos;i="4.44,488,1249250400"; 
   d="scan'208";a="35419713"
Received: from smtp5-g21.free.fr ([212.27.42.5])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Oct 2009 18:04:21 +0200
Received: from smtp5-g21.free.fr (localhost [127.0.0.1])
	by smtp5-g21.free.fr (Postfix) with ESMTP id 20003D481A9
	for <caml-list@yquem.inria.fr>; Thu,  1 Oct 2009 18:04:16 +0200 (CEST)
Received: from yeeloong (happyleptic.org [82.67.194.89])
	by smtp5-g21.free.fr (Postfix) with SMTP id F141ED48050
	for <caml-list@yquem.inria.fr>; Thu,  1 Oct 2009 18:04:12 +0200 (CEST)
Received: by yeeloong (sSMTP sendmail emulation); Thu, 01 Oct 2009 18:03:50 +0200
Date: Thu, 1 Oct 2009 18:03:50 +0200
From: rixed@happyleptic.org
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Missing the cmi files required to use
 toplevellib.cma
Message-ID: <20091001160350.GA18224@yeeloong>
References: <20091001120946.GA17610@yeeloong>
 <20091001135419.GA10657@annexia.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20091001135419.GA10657@annexia.org>
User-Agent: Mutt/1.5.20 (2009-06-14)
X-Spam: no; 0.00; cmi:01 toplevellib:01 ocaml:01 ocaml:01 inria's:01 makefile:01 makefile:01 caml-list:01 cma:01 usefull:02 debian:04 compiled:04 install:05 installed:05 installed:05 

> You might also want to look at 'cmigrep'.

I did not know this tool. Looks very usefull !

> 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.

Ok ; I installed ocaml with inria's Makefile which does not install
them. Apparently, from cmigrep Makefile, it seams that godi have them
installed as well. So they are more commonly installed than I though and
I have no reason to worries any more. 

Thank you !