From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5SIeXFL005845
	for <caml-list@sympa-roc.inria.fr>; Tue, 28 Jun 2011 20:40:33 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvUBALUfCk5KfVIqkGdsb2JhbAAyCxaESaJvCBQBAQEBCQkNBxQEIYh3AqNpi1yDCAGOCQWBK4N5gQySFIk5glc8g1Y
X-IronPort-AV: E=Sophos;i="4.65,438,1304287200"; 
   d="scan'208";a="102153905"
Received: from mail-ww0-f42.google.com ([74.125.82.42])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 28 Jun 2011 20:40:28 +0200
Received: by wwg11 with SMTP id 11so3526358wwg.3
        for <caml-list@inria.fr>; Tue, 28 Jun 2011 11:40:28 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=from:to:cc:subject:references:date:in-reply-to:message-id
         :user-agent:mime-version:content-type:content-transfer-encoding;
        bh=ojv2r+BHOpj0bM+BGwyiOLDP0AQr3LLiNA2asG3aGvg=;
        b=v7XDqpOo/mA5Z/8N+2yaM9IKQNAutzyM0ya71GVG+ty47kYkztWcWEK//oRDt/zoKb
         fQf1Dq308RdfllSr/fJ7LYNz5NV0MZcH4Z+Vnp9pkpV+XJEXixCPkJ++suvIbhQxhc/e
         GxSzxxCGjnMBG1o/D7dgOiaz4/ObIE2F6fkww=
Received: by 10.227.160.140 with SMTP id n12mr6677811wbx.69.1309286428062;
        Tue, 28 Jun 2011 11:40:28 -0700 (PDT)
Received: from spec-desktop.danmey.org (cpc1-cmbg12-0-0-cust201.5-4.cable.virginmedia.com [86.9.116.202])
        by mx.google.com with ESMTPS id fl19sm357296wbb.15.2011.06.28.11.40.26
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 28 Jun 2011 11:40:27 -0700 (PDT)
From: Wojciech Meyer <wojciech.meyer@googlemail.com>
To: SerP <serp256@gmail.com>
Cc: caml-list@inria.fr
References: <BANLkTi=58mbFU39j8Hb31ZoVXptgunZRew@mail.gmail.com>
	<20110628153058.GC18321@ccellier.rd.happyleptic.org>
	<BANLkTimF+bRFzdjJGRxY2T5Ocdx-J95tdw@mail.gmail.com>
	<BANLkTinQcixhGm2ZUW01CybUF_6Q_1rGRA@mail.gmail.com>
	<BANLkTinjrS9zHJE=xpaxMUH7sUNkJpRQsw@mail.gmail.com>
	<BANLkTimn=1hDkgXigA3=pvLwM3zZn-hPAQ@mail.gmail.com>
Date: Tue, 28 Jun 2011 19:40:25 +0100
In-Reply-To: <BANLkTimn=1hDkgXigA3=pvLwM3zZn-hPAQ@mail.gmail.com> (SerP's
	message of "Tue, 28 Jun 2011 22:11:00 +0400")
Message-ID: <wfhb794x5y.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p5SIeXFL005845
X-Validation-by: wojciech.meyer@googlemail.com
Subject: Re: [Caml-list] ocaml arm eabi

SerP <serp256@gmail.com> writes:

> Yes. it seems that the problem in android libc, but it is not clear
> where exactly

Did you try to disassemble/trace the program in the debugger of what
possibly from libc is being inlined/called? Maybe it's some
initialisation problem or most likely a wrong target. You compile for a
none floating point capable hardware, try to write a simple program in
gcc and see what happens. You can tell Gcc to compile for Cortex-A8 or
ARM7 and that's a big difference the second one has no floating point
unit built in. Could you post `gas' compile command line options?

Cheers;
Wojciech

>
> 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" <serp256@gmail.com> a écrit :
>         
>         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, <rixed@happyleptic.org>
>         wrote:
>         >
>         
>         > -[ Tue, Jun 28, 2011 at 07:22:...
>
>         
>