From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p15JL35f011341 for ; Sat, 5 Feb 2011 20:21:04 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvwFAHIxTU0+BBFqWmdsb2JhbAClPgEWCA0EFAMhujuFWgSXTg X-IronPort-AV: E=Sophos;i="4.60,432,1291590000"; d="scan'208";a="90725960" Received: from smtp-106-saturday.noc.nerim.net (HELO mallaury.nerim.net) ([62.4.17.106]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Feb 2011 20:21:03 +0100 Received: from hector.lesours (ours.starynkevitch.net [213.41.244.95]) by mallaury.nerim.net (Postfix) with ESMTPS id 50C93153411; Sat, 5 Feb 2011 20:21:03 +0100 (CET) Received: from glinka.lesours ([192.168.0.1]) by hector.lesours with smtp (Exim 4.72) (envelope-from ) id 1Plngs-0008QJ-LS; Sat, 05 Feb 2011 20:21:02 +0100 Date: Sat, 5 Feb 2011 20:21:52 +0100 From: Basile Starynkevitch To: Nicolas Ojeda Bar Cc: caml-list@yquem.inria.fr Message-Id: <20110205202152.6dd14cbf.basile@starynkevitch.net> In-Reply-To: References: X-Mailer: Sylpheed 3.1.0rc (GTK+ 2.24.0; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] native dynlink On Sat, 5 Feb 2011 14:03:21 -0500 Nicolas Ojeda Bar wrote: > Hello, > > I'm trying to build Ocaml 3.12.0 with native dynlink, but > ./configure refuses to do so. Is native dynlink working? I'm trying > this on a 32bit X86 running OS X. I am not familiar with the ugly details of MacOSX. I would imagine that native dynlinking requires a system with dlopen, and perhaps ELF format. Perhaps there are some tricks on MacOSX to give you a dlopen interface. But perhaps native dynlinking is not working on MacOSX. Regards. PS. A similar problem is the support of GCC plugins. AFAIK, MacOSX don't have them because of lack of native dlopen (but Macos provides an "emulation", I leave you to learn the details). -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***