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 q28BE0vd015585
	for <caml-list@sympa-roc.inria.fr>; Thu, 8 Mar 2012 12:14:00 +0100
X-IronPort-AV: E=Sophos;i="4.73,551,1325458800"; 
   d="scan'208";a="148213169"
Received: from top-wifi.irisa.fr ([131.254.66.192])
  by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 08 Mar 2012 12:13:55 +0100
Content-Type: text/plain; charset=iso-8859-1
Mime-Version: 1.0 (Apple Message framework v1257)
From: Alan Schmitt <alan.schmitt@polytechnique.org>
In-Reply-To: <AA6DC537-C741-49CF-95F4-B5D71043078A@inria.fr>
Date: Thu, 8 Mar 2012 12:13:53 +0100
Message-Id: <F21FBD70-105A-4924-A77C-8945EED58935@polytechnique.org>
References: <CDBD76E7-EB50-493E-A886-4908CC93C251@polytechnique.org> <74F89B4A-9C34-4A33-8DAA-8A12CF9EF03B@polytechnique.org> <AA6DC537-C741-49CF-95F4-B5D71043078A@inria.fr>
To: caml-list list <caml-list@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 q28BE0vd015585
Subject: Re: [Caml-list] state of native dynlink on os x

On 27 févr. 2012, at 16:43, Damien Doligez wrote:

>> Also, when running why3, I get some undefined symbols (_camlRandom, _camlParsing, _camlString). Where are these symbols defined?
> 
> Looks like modules of the standard library, right ?

Regarding this, should something special be done when dynlinking a file that depends on the standard library? I assume that dependencies are not automatically loaded, but should one load the standard library first?

In other words, is this a bug in why3, or in ocaml?

Thanks,

Alan