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.4 required=5.0 tests=AWL,SPF_FAIL 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 C4581BBAF for ; Wed, 6 May 2009 05:56:18 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8AALemAEpQW+UCe2dsb2JhbACWeAEBFiIEt2OEAQU X-IronPort-AV: E=Sophos;i="4.40,301,1238968800"; d="scan'208";a="27273283" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 06 May 2009 05:56:18 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1M1YEx-0006W9-IF for caml-list@inria.fr; Wed, 06 May 2009 03:56:15 +0000 Received: from 97-113-251-224.tukw.qwest.net ([97.113.251.224]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 06 May 2009 03:56:15 +0000 Received: from dynasticon by 97-113-251-224.tukw.qwest.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 06 May 2009 03:56:15 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Jeffrey Scofield Subject: Re: arm backend Date: Tue, 05 May 2009 20:56:02 -0700 Message-ID: References: <170624B9-E8DE-4E94-BAA5-2CAF928CE54B@gmail.com> <4A000A39.8070604@inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 97-113-251-224.tukw.qwest.net User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.3 (darwin) Cancel-Lock: sha1:uNwgw37A2+phXvlmHHUP2BvNihc= Sender: news X-Spam: no; 0.00; cvs:01 ocaml:01 ocaml:01 cvs:01 command-line:01 gcc:01 usr:01 gcc:01 xcode:98 xcode:98 macosx:01 compilers:01 writes:01 bin:01 bin:01 Xavier Leroy writes: > 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. I'm happy to provide a unified patch containing everything we use to cross-compile OCaml for iPhone. Note that our patches are against OCaml 3.10.2. This is simpler for us because we started with patches by Toshiyuki Maeda that are for 3.10.2. I would imagine that the changes for 3.11 are minimal, but we haven't tried it yet. When we move to 3.11, I'd be happy to provide new patches (if nobody else does so earlier). > 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, > welcome feedback and patches from iPhone development experts. Yes, Apple assumes all developers use their IDE, Xcode. You can extract working command lines from the Xcode build log, painfully. Here's a little script that shows how we run the cross-compiling version of gcc. Although Nathaniel Gray has already posted his, it might be helpful to have two independent sets. This is for compiling to the iPhoneOS 2.2 environment. Differences for other environments are straightforward. #!/bin/sh PLATFORM=/Developer/Platforms/iPhoneOS.platform SDK=/Developer/SDKs/iPhoneOS2.2.sdk CC="$PLATFORM/Developer/usr/bin/gcc -arch armv6 -isysroot $PLATFORM/$SDK" $CC "$@" Regards, Jeff Scofield Seattle