From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 1BF44BC57 for ; Mon, 24 May 2010 22:06:27 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4FAEJ5+kuK54gDgWdsb2JhbACDF45mjAQVAQEWIiKIK6YVkH+BJYMEagQ X-IronPort-AV: E=Sophos;i="4.53,292,1272837600"; d="scan'208";a="63344646" Received: from rouge.crans.org ([138.231.136.3]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 24 May 2010 22:06:26 +0200 Received: from localhost (localhost.crans.org [127.0.0.1]) by rouge.crans.org (Postfix) with ESMTP id B8CCE837E; Mon, 24 May 2010 22:06:25 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at crans.org Received: from rouge.crans.org ([10.231.136.3]) by localhost (rouge.crans.org [10.231.136.3]) (amavisd-new, port 10024) with LMTP id cbDh-JLGdlGg; Mon, 24 May 2010 22:06:25 +0200 (CEST) Received: from [192.168.39.1] (fbx.up7.fr [88.185.141.188]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by rouge.crans.org (Postfix) with ESMTPSA id 713968077; Mon, 24 May 2010 22:06:25 +0200 (CEST) Message-ID: <4BFADC4D.6080902@glondu.net> Date: Mon, 24 May 2010 22:06:37 +0200 From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20091109) MIME-Version: 1.0 To: ftarlao@gmail.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Native compiler on armel (arm-eabi) References: <4BFAD807.5050804@gmail.com> In-Reply-To: <4BFAD807.5050804@gmail.com> X-Enigmail-Version: 0.95.7 OpenPGP: id=49881AD3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; compiler:01 ocaml:01 ocaml:01 fwiw:01 phane:98 steph:98 phane:98 compile:01 caml-list:01 caml:02 caml:02 native:03 native:03 debian:04 debian:04 Fabiano a =C3=A9crit : > Am I right? Is ocaml able to generate native code on armel (arm eabi)? > In case, have you suggestions in order to solve the issue? See [1]. In a nutshell: it will be, with OCaml 3.12.0. FWIW, almost all Debian packages compile natively on armel with it [2]. The notable remaining issue is broken natdynlink [3]. [1] http://caml.inria.fr/mantis/view.php?id=3D3746 [2] http://ocaml.debian.net/debian/ocaml3120dev23r10396/ [3] http://caml.inria.fr/mantis/view.php?id=3D5049 Best regards, --=20 St=C3=A9phane