From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.9 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 46AB6BC37 for ; Thu, 30 Apr 2009 15:28:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiQBAD9E+UlQW+UCe2dsb2JhbACWbAEBFiIEuEqDfwU X-IronPort-AV: E=Sophos;i="4.40,273,1238968800"; d="scan'208";a="25431211" Received: from main.gmane.org (HELO ciao.gmane.org) ([80.91.229.2]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 30 Apr 2009 15:28:28 +0200 Received: from list by ciao.gmane.org with local (Exim 4.43) id 1LzWJP-0003xQ-PV for caml-list@inria.fr; Thu, 30 Apr 2009 13:28:27 +0000 Received: from ks300734.kimsufi.com ([91.121.65.225]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 30 Apr 2009 13:28:27 +0000 Received: from sylvain by ks300734.kimsufi.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 30 Apr 2009 13:28:27 +0000 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Sylvain Le Gall Subject: Re: arm backend Date: Thu, 30 Apr 2009 13:28:15 +0000 (UTC) Message-ID: References: <170624B9-E8DE-4E94-BAA5-2CAF928CE54B@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: ks300734.kimsufi.com User-Agent: slrn/pre0.9.9-102 (Linux) Sender: news X-Spam: no; 0.00; le-gall:01 ocamlopt:01 ocaml:01 afaik:01 ocamlopt:01 2009:98 wrote:01 computation:01 computation:01 usable:02 seems:03 problem:05 xavier:06 xavier:06 leroy:07 Hello, 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... Regards Sylvain Le Gall