From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 10A8DBBB7 for ; Wed, 15 Oct 2008 17:32:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoDAM+p9UjAXQImiGdsb2JhbACTYAEBARUirX2Baw X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="30374785" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Oct 2008 17:32:38 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9FFWcae021635 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 15 Oct 2008 17:32:38 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArcCAJOp9UhQDPIbgWdsb2JhbACTYAEBCwsIBxEFrXmBaw X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="18771606" Received: from smtp20.orange.fr ([80.12.242.27]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2008 17:32:37 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2008.orange.fr (SMTP Server) with ESMTP id 6B08B1C000BD; Wed, 15 Oct 2008 17:32:37 +0200 (CEST) Received: from [127.0.0.1] (APuteaux-154-1-90-212.w83-204.abo.wanadoo.fr [83.204.165.212]) by mwinf2008.orange.fr (SMTP Server) with ESMTP id 11E931C00089; Wed, 15 Oct 2008 17:32:36 +0200 (CEST) X-ME-UUID: 20081015153237734.11E931C00089@mwinf2008.orange.fr Message-ID: <48F60D13.2070302@frisch.fr> Date: Wed, 15 Oct 2008 17:32:35 +0200 From: Alain Frisch User-Agent: Thunderbird 2.0.0.17 (Windows/20080914) MIME-Version: 1.0 To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: caml users Subject: Re: [Caml-list] OCaml version 3.11.0+beta1 References: <83E04F95-55DD-470E-9C6D-98FA15AE0CE0@inria.fr> <1477A5A4-3533-4A62-AF02-07F860E56773@gmail.com> <48F6068E.70904@frisch.fr> <531C59E9-ECF3-48A6-AB2C-7CF5D04BF63F@erratique.ch> In-Reply-To: <531C59E9-ECF3-48A6-AB2C-7CF5D04BF63F@erratique.ch> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Antivirus: avast! (VPS 081014-0, 14/10/2008), Outbound message X-Antivirus-Status: Clean X-Miltered: at discorde with ID 48F60D16.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 bunzli:01 dynlink:01 dynlink:01 cmi:01 bytecode:01 ocaml's:01 wrote:01 macosx:01 caml-list:01 cma:01 alain:01 alain:01 Daniel Bünzli wrote: > And on macosx ? It seems here on 10.5.5 that only dynlink.cma and > dynlink.cmi for bytecode get installed. So I guess there's no support. > What about the future ? Native dynlink used to work on Mac OS X < 10.5 (x86 only). The new linker in 10.5 does not support linking shared libraries with non-PIC code. It is still possible to use the old linker, called ld_classic, but some libraries (like X11) does not work, so this has been disabled in the configure script. The clean solution to make natdynlink work on recent Mac OS X systems (beside convincing Apple to support the old behavior of their linker in their new implementation) is to change OCaml's x86 backend so that it produces only PIC code (this has been done for the AMD64 port). I don't think there is currently any plan to work on that. Alain