Re: [Caml-list] ocaml arm eabi

2011-06-29 Thread SerP
It's very strange. I'am disassembled binary. ocaml __fixdfsi call resovled to __aeabi_d2iz and this function are the same as in ios binary. But on android floating point does not work! === disassemly code: aeabi_d2iz from android libc 0002da7c __aeabi_d2iz: 2da7c: e1a02081lsl

[Caml-list] ocaml arm eabi

2011-06-28 Thread SerP
Has anyone experience for running ocaml native programms on android? My problem in floating point calculations. let x = 255. in int_of_float x Result is always 0. Any suggestions very welcome. -- Caml-list mailing list. Subscription management and archives:

Re: [Caml-list] ocaml arm eabi

2011-06-28 Thread Pierre-Alexandre Voye
Maybe an issue with android's libc which manage float in certain circumstance ? Le 28 juin 2011 19:52, SerP serp...@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, ri...@happyleptic.org wrote: -[ Tue,

Re: [Caml-list] ocaml arm eabi

2011-06-28 Thread SerP
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 ontolog...@gmail.com wrote: Maybe an issue with android's libc which manage float in certain circumstance ? Le 28 juin 2011 19:52, SerP serp...@gmail.com