From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 2993B7EE4B
	for <caml-list@sympa.inria.fr>; Wed, 18 Sep 2013 12:06:59 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  p.donadeo@gmail.com) identity=pra; client-ip=209.85.128.46;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="p.donadeo@gmail.com";
  x-sender="p.donadeo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  p.donadeo@gmail.com designates 209.85.128.46 as permitted
  sender) identity=mailfrom; client-ip=209.85.128.46;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="p.donadeo@gmail.com";
  x-sender="p.donadeo@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-qe0-f46.google.com) identity=helo;
  client-ip=209.85.128.46;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="p.donadeo@gmail.com";
  x-sender="postmaster@mail-qe0-f46.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgcCAOp5OVLRVYAum2dsb2JhbABZhBGCYwFGvgCBEAgWDgEBAQEBBgsLCRQoghwKAQUjHQEbHgMMBgUDAQIFNwICIgERAQUBHAaIAwEDD5wNjABRgweEGAoZJw1kiDcBBQyPYoJpgTUDl3uQCxgphE46
X-IPAS-Result: AgcCAOp5OVLRVYAum2dsb2JhbABZhBGCYwFGvgCBEAgWDgEBAQEBBgsLCRQoghwKAQUjHQEbHgMMBgUDAQIFNwICIgERAQUBHAaIAwEDD5wNjABRgweEGAoZJw1kiDcBBQyPYoJpgTUDl3uQCxgphE46
X-IronPort-AV: E=Sophos;i="4.90,929,1371074400"; 
   d="scan'208";a="27251997"
Received: from mail-qe0-f46.google.com ([209.85.128.46])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Sep 2013 12:06:58 +0200
Received: by mail-qe0-f46.google.com with SMTP id x7so4402724qeu.5
        for <caml-list@inria.fr>; Wed, 18 Sep 2013 03:06:57 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :content-type;
        bh=KIgrwH6NB+MvXrmL4/AtU9onMDPuSAcVOkE04rCRAb0=;
        b=VmRSSLF3nKXCK9fatO+9kRpSk1ym/sV2vYoUJx+WIWhM2Nm9EixB0vdsU6cfA9f063
         ySpzH6kD2cLUVRJzBie1OZ7tKySlILJTHt/0z0qRHkapo0N+F74mSRH9LYCpKrLtJNed
         HmxBwVqzKXorFo/t53TdhufOQn3hpTPGBxhLSDctIlLFd1hM0GvH5ymT9RbxqY55C8Su
         nLK+DJBBstBz6DoP0CWSQ/2lPpJpGaKjUYAiNLX3AIKRP+Tm3clKnB6qeOWKn5Zl9J0f
         c92UyL6lVzO6cpg3lHFxAVpx0mt+eiFU+V4Hk/0QyDUo9O7x0FsDnjzSDHfI6WM89Uvt
         sYGw==
X-Received: by 10.49.121.134 with SMTP id lk6mr61256175qeb.23.1379498817295;
 Wed, 18 Sep 2013 03:06:57 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.49.81.7 with HTTP; Wed, 18 Sep 2013 03:06:17 -0700 (PDT)
In-Reply-To: <063874FA-1757-4B88-B186-DF8D90584F32@recoil.org>
References: <036501ceb3e5$bcd7b920$36872b60$@ffconsultancy.com> <063874FA-1757-4B88-B186-DF8D90584F32@recoil.org>
From: Paolo Donadeo <p.donadeo@gmail.com>
Date: Wed, 18 Sep 2013 12:06:17 +0200
Message-ID: <CAPzAKVDbd7K8HKmGfzoSpenDdpUY3=m-7q37ErfUtTuYCRKwGA@mail.gmail.com>
To: OCaml mailing list <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=047d7bdc9110f919d504e6a59868
Subject: Re: [Caml-list] OCaml on Android


--047d7bdc9110f919d504e6a59868
Content-Type: text/plain; charset=UTF-8

The problem in this kind of porting is the huge work you need do to port
the SDK to access the device, the GUI widges, and so on.

In my dreams I write OCaml native applications for Android...


-- 
*Paolo*

--047d7bdc9110f919d504e6a59868
Content-Type: text/html; charset=UTF-8

<div dir="ltr"><div>The problem in this kind of porting is the huge work you need do to port the SDK to access the device, the GUI widges, and so on.</div><div><br></div><div>In my dreams I write OCaml native applications for Android...</div>

<div class="gmail_extra"><br><br>-- <br><div dir="ltr"><i>Paolo</i><br></div>
</div></div>

--047d7bdc9110f919d504e6a59868--