Archives of the Caml mailing list > Message from Sylvain Le Gall

Browse thread

arm backend

Joel Reymont
- Xavier Leroy
  - Nathaniel Gray
  - Jeffrey Scofield
- Sylvain Le Gall
  - StÃ©phane Glondu
    - Nathaniel Gray
      - Mattias EngdegÃ¥ rd
        
        Nathaniel Gray
        
        Mattias EngdegÃ¥ rd
      - Jeffrey Scofield
        
        Nathaniel Gray
        
        Jeffrey Scofield
        
        Robert Muller
        
        Jeffrey Scofield

Date:	-- (:)
From:	Sylvain Le Gall <sylvain@l...>
Subject:	Re: arm backend

Hello,

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

Regards
Sylvain Le Gall