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=1.7 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL 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 EA861BBAF for ; Tue, 5 May 2009 20:21:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkYBAPgfAErRVcbukGdsb2JhbACWOT8BAQEBCQkMBxEDqEWBCpA9AQMBA4N+BQ X-IronPort-AV: E=Sophos;i="4.40,298,1238968800"; d="scan'208";a="27260228" Received: from rv-out-0506.google.com ([209.85.198.238]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 May 2009 20:21:16 +0200 Received: by rv-out-0506.google.com with SMTP id k40so3504523rvb.3 for ; Tue, 05 May 2009 11:21:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=QbdYgUTm264TZF9W54Ay+kiSziWHtTG79T9CGlLqpp0=; b=tXKjF48S0E56SojaozHA9LbaE4uQc7PrkfYOvvVS54Tk57+UJR8QSIIgtYlxJZlvEM HLPEzMrvjRTje2CD6S2qN2jmasZNDO2qJV7ih6sfcU90lPXAodNMKfyOUCqX7vyKDe+G qFlzwMYJ5qtmvBgFqgDoFiypy7+ssTwe9T8YQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=eknTx9LQu9FhIGnOCrXfUjJf8LFN6NIfAAtolSSzg/ag8h61mGKbVp0CHErB1Fv7bc 1p/WhUtPsMJT5/agEqNYud82QG+Cr12tOiNP5SGB6PKWITfKcyVC5qcmsSd1vzxrB1bp Lkb6xzRlpGCqOXSjRYpnL1C2hBw9tsILk2z3A= MIME-Version: 1.0 Received: by 10.141.45.16 with SMTP id x16mr94873rvj.227.1241547675555; Tue, 05 May 2009 11:21:15 -0700 (PDT) In-Reply-To: <4A000A39.8070604@inria.fr> References: <170624B9-E8DE-4E94-BAA5-2CAF928CE54B@gmail.com> <4A000A39.8070604@inria.fr> Date: Tue, 5 May 2009 11:21:15 -0700 Message-ID: Subject: Re: [Caml-list] arm backend From: Nathaniel Gray To: Xavier Leroy Cc: Joel Reymont , "O'Caml Mailing List" Content-Type: multipart/mixed; boundary=000e0cd24da42c596304692e585b X-Spam: no; 0.00; cvs:01 bug:01 cvs:01 command-line:01 bug:01 flags:01 cheers:01 2009:98 wrote:01 macosx:01 compilers:01 caml-list:01 caml:02 supported:02 linking:02 X-Attachments: cset="UTF-8" type="application/octet-stream" name="configure-libetpan" name="configure-libetpan" --000e0cd24da42c596304692e585b Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit On Tue, May 5, 2009 at 2:43 AM, Xavier Leroy wrote: > > Concerning the iPhone, it is not supported out of the box by 3.11 nor > by the CVS trunk code. For 3.11, several patches have been mentioned > on this list; it would be great if someone with iPhone development > experience could combine them and publish a unified patch. Feel free to attach any such patch to the bug in mantis: http://caml.inria.fr/mantis/view.php?id=4782 > For the CVS trunk code, it seems we are getting close: as far as I > could see, MacOSX/ARM uses EABI plus Apple's "signature" approach to > dynamic linking. However, I haven't yet succeeded in running Apple's > iPhone SDK compilers from the command-line. (It looks like one of > those Microsoft SDK's that assume everyone is developing from the > vendor-supplied IDE...) Again, I welcome feedback and patches from > iPhone development experts. I'm attaching (here and at the bug) a script I use to configure and build an e-mail library for both the iPhone simulator (x86) and the iPhone itself (arm). There's some extraneous junk in there but you should get the idea. The important flags are '-arch armv6' and '-isysroot /path/to/sdk'. It might also be worth mentioning that Apple prohibits the use of dynamic libraries in iPhone apps (for now at least) and most iPhone projects are built in Thumb mode by default. Cheers, -n8 --000e0cd24da42c596304692e585b Content-Type: application/octet-stream; name=configure-libetpan Content-Disposition: attachment; filename=configure-libetpan Content-Transfer-Encoding: base64 X-Attachment-Id: f_fucxeiub0 IyEvYmluL3pzaAojIFdlIGRvIGhhdmUgaWNvbnYgYW5kIGxpYnogYnVpbHQgaW4gb24gaVBob25l CiMgV2UgaGF2ZSBleHBhdCBvbiB0aGUgc2ltdWxhdG9yIGJ1dCBub3QgdGhlIHBob25lLiAgVGhh dCdzIG9rLCB3ZSBkb24ndCBuZWVkIGl0CgojIE5PVEU6IGJlIHN1cmUgdG8gdmVyaWZ5IHRoZSB0 b29sIHZlcnNpb25zIGJlbG93IQoKIyBXaGVyZSB0byBpbnN0YWxsClBSRUZJWD0kSE9NRS9zcmMv TXlQcm9qZWN0L3VzcgpHQ0NWRVJTSU9OPTQuMC4xClNES1ZFUlNJT049Mi4yLjEKREFSV0lOVkVS U0lPTj05CgpjYXNlICQxIGluCiAgICBhcm0pCiAgICAgICAgUExBVD0vRGV2ZWxvcGVyL1BsYXRm b3Jtcy9pUGhvbmUucGxhdGZvcm0KICAgICAgICBTREs9JFBMQVQvRGV2ZWxvcGVyL1NES3MvaVBo b25lT1MkU0RLVkVSU0lPTi5zZGsKICAgICAgICBleHBvcnQgQ0ZMQUdTPSItYXJjaCBhcm12NiIK ICAgICAgICBleHBvcnQgTERGTEFHUz0iLWFyY2ggYXJtdjYiCiAgICAgICAgQ09ORklHT1BUUz0o LS1idWlsZD1gY29uZmlnLmd1ZXNzYCAtLWhvc3Q9YXJtLWFwcGxlLWRhcndpbjkpCiAgICAgICAg R0NDUFJFRklYPWFybQogICAgICAgIDs7CiAgICAgICAgCiAgICBpMzg2KQogICAgICAgIFBMQVQ9 L0RldmVsb3Blci9QbGF0Zm9ybXMvaVBob25lU2ltdWxhdG9yLnBsYXRmb3JtCiAgICAgICAgU0RL PSRQTEFUL0RldmVsb3Blci9TREtzL2lQaG9uZVNpbXVsYXRvciRTREtWRVJTSU9OLnNkawogICAg ICAgIGV4cG9ydCBDRkxBR1M9CiAgICAgICAgZXhwb3J0IExERkxBR1M9CiAgICAgICAgQ09ORklH T1BUUz0KICAgICAgICBHQ0NQUkVGSVg9aTY4NgogICAgICAgIDs7CiAgICAqKQogICAgICAgIGVj aG8gIlVzYWdlOiAkMCAoYXJtfGkzODYpIgogICAgICAgIGVjaG8gIiBhbmQgbWFrZSBzdXJlIHRv IHZlcmlmeSB0aGUgU0RLIHZlcnNpb24gJiBnY2MgdmVyc2lvbiBhcmUgY29ycmVjdCIKICAgICAg ICBleGl0IDEKICAgICAgICA7Owplc2FjCgpleHBvcnQgQ0ZMQUdTPSIkQ0ZMQUdTIC1pc3lzcm9v dCAkU0RLIgpCSU49JFBMQVQvRGV2ZWxvcGVyL3Vzci9iaW4KZXhwb3J0IENQUD0kQklOL2NwcApl eHBvcnQgQ1hYQ1BQPSRCSU4vY3BwCmV4cG9ydCBDQz0kQklOLyRHQ0NQUkVGSVgtYXBwbGUtZGFy d2luJERBUldJTlZFUlNJT04tZ2NjLSRHQ0NWRVJTSU9OCmV4cG9ydCBDWFg9JEJJTi8kR0NDUFJF RklYLWFwcGxlLWRhcndpbiREQVJXSU5WRVJTSU9OLWcrKy0kR0NDVkVSU0lPTgpleHBvcnQgTEQ9 JEJJTi9sZApleHBvcnQgQVM9JEJJTi9hcwoKY2QgbGliZXRwYW4tMC41NwpQQVRIPSRCSU46JFBB VEggLi9jb25maWd1cmUgLS1wcmVmaXg9JFBSRUZJWCAtLWRpc2FibGUtc2hhcmVkIC0tZW5hYmxl LXN0YXRpYyAtLWRpc2FibGUtZGIgLS13aXRob3V0LXNhc2wgLS13aXRob3V0LWdudXRscyAtLXdp dGgtb3BlbnNzbD0kUFJFRklYICRDT05GSUdPUFRTCgpQQVRIPSRCSU46JFBBVEggbWFrZQoK --000e0cd24da42c596304692e585b--