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 q27At6a0024832
	for <caml-list@sympa-roc.inria.fr>; Wed, 7 Mar 2012 11:55:06 +0100
X-IronPort-AV: E=Sophos;i="4.73,545,1325458800"; 
   d="scan'208";a="148008044"
Received: from macadam.inria.fr (HELO [192.168.1.2]) ([128.93.8.130])
  by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 07 Mar 2012 11:55:01 +0100
Mime-Version: 1.0 (Apple Message framework v1084)
Content-Type: text/plain; charset=us-ascii
From: Damien Doligez <Damien.Doligez@inria.fr>
In-Reply-To: <8FFF332E-3635-467F-B135-F09F806A034E@polytechnique.org>
Date: Wed, 7 Mar 2012 11:55:01 +0100
Cc: caml-list <caml-list@inria.fr>
Message-Id: <119E4985-6E88-45C2-8082-B377EFEE34D6@inria.fr>
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>
To: Alan Schmitt <alan.schmitt@polytechnique.org>
X-Mailer: Apple Mail (2.1084)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q27At6a0024832
Subject: Re: [Caml-list] state of native dynlink on os x

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.

-- Damien