Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
arm backend
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-04-30 (13:28)
From: Sylvain Le Gall <sylvain@l...>
Subject: Re: arm backend

On 30-04-2009, Joel Reymont <> wrote:
> Is the ARM backend (ocamlopt) usable and actively maintained?

Xavier talked a little about it on 2009 OCaml Meeting. It seems that he
is interested in maintaining it but there is problem with floating point
computation (depending on some modes you can have hard/soft/semi-soft...
floating point computation). I don't know the status and Xavier Leroy
will explain you better the issue. 

AFAIK, he is interested in making ocamlopt backend work on NSLU2...

Sylvain Le Gall