Re: [Caml-list] Re: New experimental ARM backend [was: OCaml maintenance status / community fork (again)]

2011-12-18 Thread Stéphane Glondu
Le 18/12/2011 14:08, Benedikt Meurer a écrit : > While we are at it: Can we have this patch applied to the Debian OCaml > package? This would (a) get OCaml running native on armhf and (b) get some > testing / feedback for the patch. Your patch is way too monolithic. You cannot seriously expect a

Re: [Caml-list] Re: New experimental ARM backend [was: OCaml maintenance status / community fork (again)]

2011-12-18 Thread Benedikt Meurer
On Dec 18, 2011, at 15:50 , Alexandre Pilkiewicz wrote: > Hi Benedikt Hey Alexandre, >> [1] >> https://github.com/downloads/bmeurer/ocaml-arm/ocaml-arm-3.12.1+20111218-benchmark.pdf > > Could you by any chance give the execution time (one should be enough > since we have the ratio) and measur

Re: [Caml-list] Re: New experimental ARM backend [was: OCaml maintenance status / community fork (again)]

2011-12-18 Thread Alexandre Pilkiewicz
Hi Benedikt On Sun, Dec 18, 2011 at 1:08 PM, Benedikt Meurer wrote: > > > [1] > https://github.com/downloads/bmeurer/ocaml-arm/ocaml-arm-3.12.1+20111218-benchmark.pdf Could you by any chance give the execution time (one should be enough since we have the ratio) and measurement technique of you

[Caml-list] Re: New experimental ARM backend [was: OCaml maintenance status / community fork (again)]

2011-12-18 Thread Benedikt Meurer
On Dec 18, 2011, at 12:57 , Benedikt Meurer wrote: > > On Dec 13, 2011, at 21:39 , Benedikt Meurer wrote: > >> - Support for both softfp and VFPv3-D16 (if present). >> - Properly supports interworking with Thumb/Thumb-2 code (for both OCaml and >> C code!) >> - Supports dynamic linking and lar

[Caml-list] Re: New experimental ARM backend [was: OCaml maintenance status / community fork (again)]

2011-12-18 Thread Benedikt Meurer
On Dec 18, 2011, at 12:57 , Benedikt Meurer wrote: >> - Support for both softfp and VFPv3-D16 (if present). >> - Properly supports interworking with Thumb/Thumb-2 code (for both OCaml and >> C code!) >> - Supports dynamic linking and large memory models. >> - Optional support for position-indepe

[Caml-list] Re: New experimental ARM backend [was: OCaml maintenance status / community fork (again)]

2011-12-18 Thread Benedikt Meurer
On Dec 13, 2011, at 21:39 , Benedikt Meurer wrote: > - Support for both softfp and VFPv3-D16 (if present). > - Properly supports interworking with Thumb/Thumb-2 code (for both OCaml and > C code!) > - Supports dynamic linking and large memory models. > - Optional support for position-independent