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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 46E9FBC37 for ; Thu, 30 Apr 2009 21:19:27 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgkAAPyW+UnRVd14oWdsb2JhbACWKz8BAQEBAQEHCQoCBxGoBoEIkFQBAwEDg3wF X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="scan'208";a="28567097" Received: from mail-qy0-f120.google.com ([209.85.221.120]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Apr 2009 21:19:26 +0200 Received: by qyk26 with SMTP id 26so3691989qyk.1 for ; Thu, 30 Apr 2009 12:19:25 -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:content-type :content-transfer-encoding; bh=vxmuJJLLXbK4Mzh9XKgjwjaI+i0LJMoDzcamnKLnnd8=; b=uF5jQfEtusPlE3LUTJlukenm1FvOowEOXTlG0hDvVAdpPLpQfJSf9EqpJRLZY2UT3u OhsyGF/M1LsKG9N/kN7oPRpY9lXS5LctjrjPTGcqz2jA8j9PthHlI5nM4fPf17xZkaiI 1WShB62FqucRYMjMS8oZZnMo4xAhBuno09N4w= 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 :content-type:content-transfer-encoding; b=DpyqNcrzmVsTtl6JsBwXw1JWqoSCYwE4jkNafRLU7NWH6xJuZ3x4kWcwMw7vQQCS5r fkM/Ed4qmBGrsCh10z1/C9oSkthEpPRIEQyNtpLVlMlsxh2A/bGxpcwwMfqlf/WY2T24 JLM9vD+4dZtqjkxbiIbwL3wrvl36jTyHR45uQ= MIME-Version: 1.0 Received: by 10.229.84.78 with SMTP id i14mr1694110qcl.67.1241119164179; Thu, 30 Apr 2009 12:19:24 -0700 (PDT) In-Reply-To: <49F9E7F7.7060705@glondu.net> References: <170624B9-E8DE-4E94-BAA5-2CAF928CE54B@gmail.com> <49F9E7F7.7060705@glondu.net> Date: Thu, 30 Apr 2009 12:19:24 -0700 Message-ID: Subject: Re: [Caml-list] Re: arm backend From: Nathaniel Gray To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 compiler:01 ocaml:01 cheers:01 u-tokyo:01 mlp:01 2009:98 phane:98 steph:98 cocoa:98 nathan:98 wrote:01 emit:01 caml-list:01 caml:02 On Thu, Apr 30, 2009 at 11:03 AM, St=C3=A9phane Glondu w= rote: > > http://caml.inria.fr/mantis/view.php?id=3D3746 Speaking of which, has anybody built an ocaml cross compiler for the iphone that can work with native cocoa touch apps built with the official SDK? It's probably too late for my current project but in the future I'd love to use ocaml for my iPhone projects. I tried following the instructions here[1] with some necessary modifications[2] to get the assembler to work but my test app crashed as soon as it entered ocaml code. I don't know enough about the ARM platform to say why. Cheers, -n8 [1] http://web.yl.is.s.u-tokyo.ac.jp/~tosh/ocaml-on-iphone/ [2] I had to change all '.global' to '.globl' in arm.s and arm/emit.mlp. I have no idea what that signifies. --=20 Nathan Gray http://www.n8gray.org/