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=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 3F272BBAF for ; Wed, 15 Oct 2008 17:57:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsDACOw9UjAXQIniGdsb2JhbACTIj4BAQEVIqR0bIgXAQMBA4Fo X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="18137999" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Oct 2008 17:56:49 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9FFumfu011047 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 15 Oct 2008 17:56:48 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AioBAHCv9UjRVciolGdsb2JhbACTIj4BAQEBCQkMBxEDpHVsiBcBAwEDgWg X-IronPort-AV: E=Sophos;i="4.33,417,1220220000"; d="scan'208";a="18772973" Received: from wf-out-1314.google.com ([209.85.200.168]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Oct 2008 17:56:47 +0200 Received: by wf-out-1314.google.com with SMTP id 25so3076487wfa.0 for ; Wed, 15 Oct 2008 08:56:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=aTbwwb3S4iwTAetm54NZu2yHMpAwt1hjuvshEIPZCv0=; b=fCcP0QBc+8u6IlgqZZUWBDhLmqvy2z0VyZUr7Y87SQwwCoyYX9wDjGQeQD+xnmaKVx 8V3BqsJI0jLm4+m0RCd25h0bVFuwmTfSb3Gc0u0Xr3z864yx1U4WD9lVoKHtvp4gZukf iVdVGrinXDFRxPJTqdKgBp1h8OOvT+efXHyz8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=vnfBPWuATf4vGc7KcE01Jy5jLD0TWy4XjZQO8HPBRm36MTRmIvep9eYdpIV/7/sHnf uDpasOwY930qMWCDZldgnDsP+RcD6pnBAqANgvh6gVaXZZzWvCP5rGw6Q684ju3etfSV JrEnvWO3CRVQCr/gEbkwzqj8WjBjFM2Tl4Mcg= Received: by 10.140.191.14 with SMTP id o14mr777871rvf.78.1224086206865; Wed, 15 Oct 2008 08:56:46 -0700 (PDT) Received: from ?10.0.1.4? (cpe-68-174-68-192.nyc.res.rr.com [68.174.68.192]) by mx.google.com with ESMTPS id 9sm114731ywf.2.2008.10.15.08.56.45 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 15 Oct 2008 08:56:46 -0700 (PDT) Cc: caml users Message-Id: From: Andres Varon To: Alain Frisch In-Reply-To: <48F60D13.2070302@frisch.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v929.2) Subject: Re: [Caml-list] OCaml version 3.11.0+beta1 Date: Wed, 15 Oct 2008 11:56:44 -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> X-Mailer: Apple Mail (2.929.2) X-Miltered: at concorde with ID 48F612C0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 frisch:01 bunzli:01 dynlink:01 dynlink:01 cmi:01 bytecode:01 ocaml's:01 toplevel:01 beginner's:01 ocaml:01 bug:01 beginners:01 wrote:01 wrote:01 On Oct 15, 2008, at 11:32 AM, Alain Frisch wrote: > Daniel B=FCnzli wrote: >> And on macosx ? It seems here on 10.5.5 that only dynlink.cma and =20 >> dynlink.cmi for bytecode get installed. So I guess there's no =20 >> support. What about the future ? > > Native dynlink used to work on Mac OS X < 10.5 (x86 only). The new =20 > linker in 10.5 does not support linking shared libraries with non-=20 > PIC code. It is still possible to use the old linker, called =20 > ld_classic, but some libraries (like X11) does not work, so this has =20= > 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 =20= > in their new implementation) is to change OCaml's x86 backend so =20 > that it produces only PIC code (this has been done for the AMD64 =20 > 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 =20= help in this effort, working in the port, or providing feedback. The =20 native dynlink and toplevel are, at least to me, the killer features =20 in 3.11, but adding another hole for Mac OS X intel (in addition to =20 not supporting x86_64) does not seem like the best choice for an =20 increasingly popular architecture. Again, thanks for the good work! Andres > > > Alain > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs