Re: [Caml-list] ocaml arm eabi

[Wojciech Meyer <wojciech.meyer@googlemail.com>]

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:...
>
>         
>