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.3 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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 235F2BBAF; Wed, 15 Oct 2008 21:39:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsDACrk9UjAXQImiGdsb2JhbACMFYdLAQEBFSKlQohggWs X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="18779892" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2008 21:39:53 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9FJdrv3029797 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK); Wed, 15 Oct 2008 21:39:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUAAA3j9UjYSfEMmmdsb2JhbACMFYdLAQEBAQEICwoHEQSlPohfgWs X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="30382428" Received: from info-smtp-004.amnh.org ([216.73.241.12]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Oct 2008 21:39:52 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by info-smtp-004.amnh.org (Postfix) with ESMTP id 4C5A01CD52D; Wed, 15 Oct 2008 15:39:51 -0400 (EDT) X-Virus-Scanned: amavisd-new at amnh.org Received: from info-smtp-004.amnh.org ([127.0.0.1]) by localhost (info-smtp-004.amnh.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id B3B3jkBN0XIs; Wed, 15 Oct 2008 15:39:50 -0400 (EDT) Received: from samson.internal.amnh.org (216-73-250-41.dynamic.amnh.org [216.73.250.41]) by info-smtp-004.amnh.org (Postfix) with ESMTPSA id 67A621CD521; Wed, 15 Oct 2008 15:39:50 -0400 (EDT) Cc: caml users , Alain Frisch Message-Id: <40D4F4F0-C9F1-41DD-A072-DA53F709F3E4@gmail.com> From: Andres Varon To: Xavier Leroy In-Reply-To: <48F61454.8010904@inria.fr> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v929.2) Subject: Re: [Caml-list] OCaml version 3.11.0+beta1 Date: Wed, 15 Oct 2008 15:39:49 -0400 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> <48F60D13.2070302@frisch.fr> <48F61454.8010904@inria.fr> X-Mailer: Apple Mail (2.929.2) X-Miltered: at discorde with ID 48F64709.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 dynlink:01 ocaml's:01 dynlink:01 toplevel:01 ocaml:01 compiler:01 xcode:98 xcode:98 3.0:98 wrote:01 wrote:01 caml-list:01 linking:02 native:03 On Oct 15, 2008, at 12:03 PM, Xavier Leroy wrote: >>> 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. >> >> Ouch, this makes it almost a dead end for us. I can offer some time >> to >> help in this effort, working in the port, or providing feedback. The >> native dynlink and toplevel are, at least to me, the killer >> features in >> 3.11, but adding another hole for Mac OS X intel (in addition to not >> supporting x86_64) does not seem like the best choice for an >> increasingly popular architecture. > > Well, we'd very much like to support native dynlink on OS X 10.5, > but Apple is not helping in the least by crippling their linker > compared with the one in 10.4. If anyone from Apple is on this list, > feel free to contact us at caml-devel@yquem.inria.fr for more > information on this regression. I'm glad to report that I just tried with XCode 3.1.1 and the linker did not complain (as it did with XCode 3.0). I wrote a little test and the native Dynlink worked with that version of XCode (using 10.5.5, Intel -- I had to drop an -I flag in the linker call from the OCaml compiler when I was trying it). Andres > > > - Xavier Leroy >