From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id DAA6C7EEEF for ; Tue, 23 Jun 2015 19:57:10 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@furbychan.cocan.org) identity=helo; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@furbychan.cocan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CEEAAGnYlV/7BbRFBbgxAfNV8Bgx2oGwUBAQEBAQEFAYEEkw6FdgKBT0wBAQEBAQGBC0EFg10BAQQjDwFGEAsYAgIFEw4CAg8FKCGIRgEItjGWUAEBAQEBAQQBAQEBAQEBG4EhhHs9hHGENwRLB4JoL4EUBZEkglsBhFeGeJg2JoN7PTEBAYJGAQEB X-IPAS-Result: A0CEEAAGnYlV/7BbRFBbgxAfNV8Bgx2oGwUBAQEBAQEFAYEEkw6FdgKBT0wBAQEBAQGBC0EFg10BAQQjDwFGEAsYAgIFEw4CAg8FKCGIRgEItjGWUAEBAQEBAQQBAQEBAQEBG4EhhHs9hHGENwRLB4JoL4EUBZEkglsBhFeGeJg2JoN7PTEBAYJGAQEB X-IronPort-AV: E=Sophos;i="5.13,666,1427752800"; d="scan'208";a="166913746" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 23 Jun 2015 19:57:10 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.84) (envelope-from ) id 1Z7SRX-0008Dj-SD; Tue, 23 Jun 2015 18:57:07 +0100 Date: Tue, 23 Jun 2015 18:57:07 +0100 From: "Richard W.M. Jones" To: =?iso-8859-1?Q?St=E9phane?= Glondu Cc: caml-list@inria.fr, Debian Ocaml Maint ML Message-ID: <20150623175707.GA31462@annexia.org> References: <5586835F.9030401@inria.fr> <55868D01.4040603@luminar.eu.org> <5587D5B3.6080106@glondu.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <5587D5B3.6080106@glondu.net> User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] mips32 backend without floating point hardware On Mon, Jun 22, 2015 at 11:30:27AM +0200, Stéphane Glondu wrote: > Le 21/06/2015 12:08, Vincent Bernardoff a écrit : > > I'm using OpenWRT (on a MIPS platform without hardware FP) to develop an > > IoT (internet of things) project, and I would like to use OCaml for it. > > I don't need floating point in this project but I'd like to be able to > > use a "normal" OCaml ecosystem (OPAM, lwt, etc…) that does not work well > > in practice without ocamlopt. > > In Debian, we manage to maintain architectures without ocamlopt (mips, > mipsel, ppc64el and s390x at the moment). This is one of the main FYI Red Hat maintain native ppc64 (big endian) and ppc64le backends. You can find them here: https://git.fedorahosted.org/cgit/fedora-ocaml.git/log/?h=fedora-23-4.02 - - - I discussed this a bit with Mark Shinwell already - I'd dearly like for these to be maintained upstream, particularly the ppc64le one. Access to the hardware is tricky unfortunately. I have remote access through work, and virtualization is a (slow) option: https://rwmj.wordpress.com/2015/04/15/virt-builder-fedora-21-ppc64-and-ppc64le-images/ Red Hat and IBM are sponsoring a public server rack in Brno, Czech Republic: http://fit-rhlab.blaskovic.sk/category/open-power-hub/ I expect that the hardware will become more readily available over the next year or two. Rich. -- Richard Jones Red Hat