From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5SI2VSK004779 for ; Tue, 28 Jun 2011 20:02:31 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUBANMWCk7RVdW2kGdsb2JhbAA9AQMShEmibwgUAQEBAQkJDQcUBCGsTYtcPoJKhG05iGgCAwaFHoEMBJIQiTmCVzyDVw X-IronPort-AV: E=Sophos;i="4.65,438,1304287200"; d="scan'208";a="97614257" Received: from mail-yx0-f182.google.com ([209.85.213.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Jun 2011 20:02:16 +0200 Received: by yxl31 with SMTP id 31so291744yxl.27 for ; Tue, 28 Jun 2011 11:02:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=V98dVLlIAVGz7lkugSlgHhfgPYe3DM6cQeRXsZb4BFg=; b=qP5x8HtCNMBicmVSrLMl7DmEhi4MTgpPGP600FTJ90t/vrpiB2XvfgzNmC+LIbb+Bl Re+4htCwL8I/z+TBxp4dz7lbxZuuOkEMhMReq94kQyxjYoNbimyfYvWXYWqhSvGhZtnA fc1byVyrVxjq7zxEdpMmiKtl1tIjnQmMXtBss= MIME-Version: 1.0 Received: by 10.236.5.140 with SMTP id 12mr11737478yhl.433.1309284134206; Tue, 28 Jun 2011 11:02:14 -0700 (PDT) Received: by 10.236.95.47 with HTTP; Tue, 28 Jun 2011 11:02:14 -0700 (PDT) Received: by 10.236.95.47 with HTTP; Tue, 28 Jun 2011 11:02:14 -0700 (PDT) In-Reply-To: References: <20110628153058.GC18321@ccellier.rd.happyleptic.org> Date: Tue, 28 Jun 2011 20:02:14 +0200 Message-ID: From: Pierre-Alexandre Voye To: SerP Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=00235429c578babe3704a6c977d3 Subject: Re: [Caml-list] ocaml arm eabi --00235429c578babe3704a6c977d3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Maybe an issue with android's libc which manage float in certain circumstance ? Le 28 juin 2011 19:52, "SerP" a =C3=A9crit : ocaml 3.12.0 On iphone it's work's too. But on android - gcc-4.4 it's not working. On Tue, Jun 28, 2011 at 7:30 PM, wrote: > > -[ Tue, Jun 28, 2011 at 07:22:... --00235429c578babe3704a6c977d3 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Maybe an issue with android's libc which manage float in certain cir= cumstance ?

Le=C2=A028 juin 2011 19:52, "SerP" &= lt;serp256@gmail.com>=C2=A0a = =C3=A9crit=C2=A0:

ocaml 3.12.0
On iphone it's work's too= . But on android - gcc-4.4 it's not working.=C2=A0



On Tue, Jun 28, 2011 at 7:30 PM, <rixed@happyleptic.org> wrote:
= >
> -[ Tue, Jun 28, 2011 at 07:22:...

--00235429c578babe3704a6c977d3--