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 q1FEGVPQ013815
	for <caml-list@sympa-roc.inria.fr>; Wed, 15 Feb 2012 15:16:34 +0100
X-IronPort-AV: E=Sophos;i="4.73,423,1325458800"; 
   d="scan'208";a="144374410"
Received: from gue01.insa-rennes.fr (HELO [10.9.2.151]) ([193.52.94.45])
  by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Feb 2012 15:16:34 +0100
From: "Alan Schmitt" <alan.schmitt@polytechnique.org>
To: "Daniel =?utf-8?q?B=C3=BCnzli?=" <daniel.buenzli@erratique.ch>
Cc: caml-list <caml-list@inria.fr>
Date: Wed, 15 Feb 2012 15:16:34 +0100
Message-ID: <B5C1DD20-85A0-4D83-95AF-C6D4DEA09250@polytechnique.org>
In-Reply-To: <4B842C0977CE4916B960953A0F2485E3@erratique.ch>
References: <CDBD76E7-EB50-493E-A886-4908CC93C251@polytechnique.org> <4B842C0977CE4916B960953A0F2485E3@erratique.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Mailer: MailMate Trial (1.4r2702)
Subject: Re: [Caml-list] state of native dynlink on os x

On 15 Feb 2012, at 13:34, Daniel Bünzli wrote:

> Can't precisely answer your questions but :
>> to understand what is the state of things on os x. According to this
>> message http://alan.petitepomme.net/cwn/2008.10.21.html natdynlink 
>> does
>> not work on 10.5 and above.
>>
>
> At least here it does work without problems on 10.6.8. with this [1] 
> config.

OK, so I guess this is a bug with why3. I'll report it there.

Thanks,

Alan