From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p16BGX7s029215
	for <caml-list@sympa-roc.inria.fr>; Sun, 6 Feb 2011 12:16:33 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Au8AADYSTk2EqOABmWdsb2JhbACXD44gFQEBAQEBCAsKBxEkuVSFWgSLZ4M0
X-IronPort-AV: E=Sophos;i="4.60,433,1291590000"; 
   d="scan'208";a="87514062"
Received: from oxalide-out.extra.cea.fr ([132.168.224.1])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Feb 2011 12:15:54 +0100
Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21])
	by oxalide.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.0) with ESMTP id p16BFrhi018886
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT)
	for <caml-list@inria.fr>; Sun, 6 Feb 2011 12:15:53 +0100
Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7])
	by pisaure.intra.cea.fr (8.14.4/8.14.4) with ESMTP id p16BFrVI018756
	for <caml-list@inria.fr>; Sun, 6 Feb 2011 12:15:53 +0100
	(envelope-from Pascal.CUOQ@cea.fr)
Received: from levau.intra.cea.fr (levau.intra.cea.fr [132.166.88.52])
	by muguet2.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.1) with ESMTP id p16BFr2m031917
	for <caml-list@inria.fr>; Sun, 6 Feb 2011 12:15:53 +0100
Received: from LAXA.intra.cea.fr ([132.166.64.47]) by levau.intra.cea.fr with Microsoft SMTPSVC(6.0.3790.4675);
	 Sun, 6 Feb 2011 12:15:53 +0100
X-MimeOLE: Produced By Microsoft Exchange V6.5
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Date: Sun, 6 Feb 2011 12:15:52 +0100
Message-ID: <5EFD4D7AC6265F4D9D3A849CEA92191902182B39@LAXA.intra.cea.fr>
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: native dynlink
Thread-Index: AcvF7QtFs60man6nS2+7Wpp4xhWw9QAAUeb/
References: <201102061100.p16B00dj028912@walapai.inria.fr>
From: "CUOQ Pascal" <Pascal.CUOQ@cea.fr>
To: <caml-list@inria.fr>
X-OriginalArrivalTime: 06 Feb 2011 11:15:53.0255 (UTC) FILETIME=[37B36370:01CBC5EF]
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p16BGX7s029215
Subject: [Caml-list] native dynlink


Nicolas Ojeda Bar <nojb@math.harvard.edu> wrote:

> 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.

Native dynlink of 32-bit is unsupported in Snow Leopard.
Apple simply removed the support for the necessary option
in the linker when transitioning from Leopard to Snow Leopard.

As far as I know, and I have played with these options quite
a bit, the configure script is optimal: you can try forcing it,
but you are likely to get a compiler that silently produces
binaries that don't work.

Pascal