From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q27FF2Et003529
	for <caml-list@sympa-roc.inria.fr>; Wed, 7 Mar 2012 16:15:02 +0100
X-IronPort-AV: E=Sophos;i="4.73,545,1325458800"; 
   d="scan'208";a="148060698"
Received: from cbg35-2-78-242-14-140.fbx.proxad.net (HELO [192.168.0.145]) ([78.242.14.140])
  by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 07 Mar 2012 16:14:56 +0100
Mime-Version: 1.0 (Apple Message framework v1257)
Content-Type: text/plain; charset=us-ascii
From: Alan Schmitt <alan.schmitt@polytechnique.org>
In-Reply-To: <119E4985-6E88-45C2-8082-B377EFEE34D6@inria.fr>
Date: Wed, 7 Mar 2012 16:14:56 +0100
Cc: caml-list <caml-list@inria.fr>
Message-Id: <4FAE4734-C73F-44AF-B671-FEF6AC928120@polytechnique.org>
References: <CDBD76E7-EB50-493E-A886-4908CC93C251@polytechnique.org> <74F89B4A-9C34-4A33-8DAA-8A12CF9EF03B@polytechnique.org> <AA6DC537-C741-49CF-95F4-B5D71043078A@inria.fr> <8FFF332E-3635-467F-B135-F09F806A034E@polytechnique.org> <119E4985-6E88-45C2-8082-B377EFEE34D6@inria.fr>
To: Damien Doligez <Damien.Doligez@inria.fr>
X-Mailer: Apple Mail (2.1257)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q27FF2Et003529
Subject: Re: [Caml-list] state of native dynlink on os x

On 7 mars 2012, at 11:55, Damien Doligez wrote:

> Hi Alan,
> 
>> OS X 10.7.3, ocaml 3.12.1-godi2.
> 
> You need to apply the patch from this PR:
> 
>  http://caml.inria.fr/mantis/view.php?id=4863
> 
> From your "configure" output, I presume godi uses the patch from this PR:
> 
>  http://caml.inria.fr/mantis/view.php?id=5379
> 
> but it's incomplete.

Thanks, it did work indeed (and I've reported this upstream to the godi list).

Alan