From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2EJpIAk021952 for ; Wed, 14 Mar 2012 20:51:18 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AngHAIr2YE9beTnJ/2dsb2JhbABDgwyCLrF6ggkBAQUjDwFFARAJAg4KAgIFFgsCAgkDAgECARorBg0BBwKICgeoQpIugS+OOoEWBJVWhWuKPYJn X-IronPort-AV: E=Sophos;i="4.73,586,1325458800"; d="scan'208";a="136102293" Received: from krypton.hackadomia.org (HELO dogguy.org) ([91.121.57.201]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 14 Mar 2012 20:50:59 +0100 Received: by dogguy.org (Postfix, from userid 110) id E83462043D; Wed, 14 Mar 2012 20:50:58 +0100 (CET) X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on krypton X-Spam-Level: Received: from [192.168.0.12] (cac94-10-88-170-237-124.fbx.proxad.net [88.170.237.124]) by dogguy.org (Postfix) with ESMTPS id 7160F200FE; Wed, 14 Mar 2012 20:50:58 +0100 (CET) Message-ID: <4F60F518.7020407@dogguy.org> Date: Wed, 14 Mar 2012 20:44:24 +0100 From: Mehdi Dogguy User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.16) Gecko/20120207 Icedove/3.0.11 MIME-Version: 1.0 To: Hongbo Zhang CC: Caml List References: <20120314180948.GA11143@annexia.org> <4F60DFF4.8050904@gmail.com> In-Reply-To: <4F60DFF4.8050904@gmail.com> X-Enigmail-Version: 1.0.1 OpenPGP: id=8C2ED8FF Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Parsing cmi file On 03/14/2012 07:14 PM, Hongbo Zhang wrote: > I tried, it does not compile, but it would be not hard to fix, I > guess. > In Debian, we apply the following patches to compile it: http://patch-tracker.debian.org/package/cmigrep/1.5-9 FWIW, it compiles and runs perfectly well with any OCaml >= 3.10. Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/