English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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 <joelr1@gmail.com> 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