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 A88F47EEEF for ; Sun, 21 Jun 2015 12:08:03 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vb@luminar.eu.org) identity=pra; client-ip=37.187.116.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vb@luminar.eu.org"; x-sender="vb@luminar.eu.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of vb@luminar.eu.org designates 37.187.116.20 as permitted sender) identity=mailfrom; client-ip=37.187.116.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vb@luminar.eu.org"; x-sender="vb@luminar.eu.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@luminar.eu.org designates 37.187.116.20 as permitted sender) identity=helo; client-ip=37.187.116.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vb@luminar.eu.org"; x-sender="postmaster@luminar.eu.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A1BwBSjIZV/xR0uyVcgxBpSoMewksCCIEbTAEBAQEBAYELhCMBAQQjDwENAQE2Ag8LGAICBRYLAgIJAwIBAgFFEwgBAYgvsDNwhGQBBZEPDBoGgSGKJIUNFhqCOIFDAZEmgluUAI9/JoILHIFUbYJIAQEB X-IPAS-Result: A0A1BwBSjIZV/xR0uyVcgxBpSoMewksCCIEbTAEBAQEBAYELhCMBAQQjDwENAQE2Ag8LGAICBRYLAgIJAwIBAgFFEwgBAYgvsDNwhGQBBZEPDBoGgSGKJIUNFhqCOIFDAZEmgluUAI9/JoILHIFUbYJIAQEB X-IronPort-AV: E=Sophos;i="5.13,653,1427752800"; d="scan'208";a="166491048" Received: from luminar.eu.org ([37.187.116.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 21 Jun 2015 12:08:03 +0200 Received: from [192.168.7.77] (4aa54-3-82-226-200-94.fbx.proxad.net [82.226.200.94]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by luminar.eu.org (Postfix) with ESMTPSA id 71787FF655 for ; Sun, 21 Jun 2015 12:08:02 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=luminar.eu.org; s=mail; t=1434881282; bh=Vxww3rVK5mjV5QVDQBMjGKaZNdrmIIR+qAw3HBzLwr8=; h=Date:From:To:Subject:References:In-Reply-To:From; b=lUK/yMCUjRi1+plGvLnvY16S3qFoHwANLcCsLNezkGDyrMe5ii7vZg93+x07Y1Gg+ mQQ8TSQO6FvdO1diXE8vnonzoc8WoeAkn2s6zjhzrZIrV/c9wWEFFU6AJDYRugoRwq HvSku5jU/xmTCI/zU5cpwJ5e/d8pHH/7tH2GiWqY= Message-ID: <55868D01.4040603@luminar.eu.org> Date: Sun, 21 Jun 2015 12:08:01 +0200 From: Vincent Bernardoff User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <5586835F.9030401@inria.fr> In-Reply-To: <5586835F.9030401@inria.fr> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] mips32 backend without floating point hardware On 21/06/2015 11:26, Xavier Leroy wrote: > In the meantime, hardware FP is now provided by all the processors > that are powerful enough to run OCaml code. Why bother? Hi, This is not true, for example OpenWRT routers are powerful enough to run OCaml code, but have no hardware FP at all. That said, it is probably enough to run non-floating point code on those platform. 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. I'm going to give a go to nojb's backend without FP, and see if I use my usual OCaml libraries with it without too much headache. Thanks! -- Vincent