From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5SIB7QR005107 for ; Tue, 28 Jun 2011 20:11:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkCAHMYCk7RVdW2kGdsb2JhbAA9AQMSmE6OaggUAQEBAQkJDQcUBCGId6NQjBqCSoRtOYhoAgMGhioEhy6KYok5glc8g1o X-IronPort-AV: E=Sophos;i="4.65,438,1304287200"; d="scan'208";a="86244079" Received: from mail-yx0-f182.google.com ([209.85.213.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Jun 2011 20:11:01 +0200 Received: by yxl31 with SMTP id 31so296587yxl.27 for ; Tue, 28 Jun 2011 11:11:00 -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 :content-type; bh=Pb9V2pVHixYhRblhtOfo/obYJrDTBbbaxFjuTyk2HF8=; b=nmf31Wgag3yo0beHvOS/lNPYFBqw5jRqDsFkaoJytEN79rgFl1nd/pi14eW9nLNC9L lcb5OH+GZvUKCiYPpFR75AVLL6gIk7w/S6+UtxIlnC0Slks7OiQAe+lRZjgnAu/WJp2i MvHM+LeL149H9HHCyY/JEUVjDh7Kw28//Wa9w= MIME-Version: 1.0 Received: by 10.236.79.134 with SMTP id i6mr11255873yhe.75.1309284660110; Tue, 28 Jun 2011 11:11:00 -0700 (PDT) Received: by 10.236.157.73 with HTTP; Tue, 28 Jun 2011 11:11:00 -0700 (PDT) In-Reply-To: References: <20110628153058.GC18321@ccellier.rd.happyleptic.org> Date: Tue, 28 Jun 2011 22:11:00 +0400 Message-ID: From: SerP To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=20cf300510441366c904a6c99733 Subject: Re: [Caml-list] ocaml arm eabi --20cf300510441366c904a6c99733 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Yes. it seems that the problem in android libc, but it is not clear where exactly On Tue, Jun 28, 2011 at 10:02 PM, Pierre-Alexandre Voye < ontologiae@gmail.com> wrote: > Maybe an issue with android's libc which manage float in certain > circumstance ? > > Le 28 juin 2011 19:52, "SerP" a =E9crit : > > 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:... > > --20cf300510441366c904a6c99733 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Yes. it seems that the problem in android libc, but it is not clear where e= xactly

On Tue, Jun 28, 2011 at 10:02 PM, = Pierre-Alexandre Voye <ontologiae@gmail.com> wrote:

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

Le=A028 juin 2011 19:52, "SerP" = <serp256@gmail.co= m>=A0a =E9crit=A0:

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



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


--20cf300510441366c904a6c99733--