From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5SFV9qX031977 for ; Tue, 28 Jun 2011 17:31:09 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjgHANjyCU5c8w3B/2dsb2JhbABSmE6OcneIecEZhjAEojM X-IronPort-AV: E=Sophos;i="4.65,437,1304287200"; d="scan'208";a="86235710" Received: from dangi.happyleptic.org ([92.243.13.193]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 28 Jun 2011 17:31:04 +0200 Received: from extranet.securactive.org ([82.234.213.170] helo=ccellier.rd.securactive.lan) by dangi.happyleptic.org with esmtp (Exim 4.72) (envelope-from ) id 1QbaIV-0005of-AE for caml-list@inria.fr; Tue, 28 Jun 2011 17:33:55 +0200 Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.72) (envelope-from ) id 1QbaFe-0004sU-6y for caml-list@inria.fr; Tue, 28 Jun 2011 17:30:58 +0200 Date: Tue, 28 Jun 2011 17:30:58 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Message-ID: <20110628153058.GC18321@ccellier.rd.happyleptic.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] ocaml arm eabi -[ Tue, Jun 28, 2011 at 07:22:01PM +0400, SerP ]---- > let x = 255. in > int_of_float x Works for me with ocaml 3.12.0 compiled with GCC 4.2.1 on ARM eabi (not on android, though).