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 AA1477F61E for ; Sat, 4 Nov 2017 19:58:05 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org 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: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@annexia.org designates 80.68.91.176 as permitted sender) identity=helo; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AlK9T8x2l5LWpajQCsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seseKPad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tLw6annrnyz8ZHRF2Lj1S?= =?us-ascii?q?JOn5E7n4A97/g+b0/J/eJQ9BnhKyZLpzKFO9qgCH5ecMho43YJwwwRvAuHcARK?= =?us-ascii?q?JzgytKIlSehFy0st2x955L+iJWtuIg/ohHS6qsLPdwdqBREDlzazN938bsrxSW?= =?us-ascii?q?FQY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DDAgBaDf5Z/7BbRFBcGwEBAQMBAQEJA?= =?us-ascii?q?QEBgzRkbp1eQwEBBoExllaCAQojhRgChFdDFAEBAQEBAQEBAQFqKII4IoJFAQU?= =?us-ascii?q?yAUYQCxIGCRMSDy0NDgaKKREMqwOLCAEBCAEBAQEBHgWDLoIHgQw9gXIBgyqEW?= =?us-ascii?q?YYvBZkGiQgCh2SNCZNBjGGGC4MqgTk2IYFsgQcISYJlhF5BjR4BAQE?= X-IPAS-Result: =?us-ascii?q?A0DDAgBaDf5Z/7BbRFBcGwEBAQMBAQEJAQEBgzRkbp1eQwE?= =?us-ascii?q?BBoExllaCAQojhRgChFdDFAEBAQEBAQEBAQFqKII4IoJFAQUyAUYQCxIGCRMSD?= =?us-ascii?q?y0NDgaKKREMqwOLCAEBCAEBAQEBHgWDLoIHgQw9gXIBgyqEWYYvBZkGiQgCh2S?= =?us-ascii?q?NCZNBjGGGC4MqgTk2IYFsgQcISYJlhF5BjR4BAQE?= X-IronPort-AV: E=Sophos;i="5.44,343,1505772000"; d="scan'208";a="299308450" Received: from annexia.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 04 Nov 2017 19:58:05 +0100 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1eB3ds-0004OW-Bs; Sat, 04 Nov 2017 18:58:04 +0000 Date: Sat, 4 Nov 2017 18:58:04 +0000 From: "Richard W.M. Jones" To: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Cc: caml users Message-ID: <20171104185804.es7ri6zxeoakiuuj@annexia.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] [ANN] RISC-V OCaml 4.06 On Fri, Nov 03, 2017 at 11:58:56PM +0100, Nicolás Ojeda Bär wrote: > Dear all, > > I am happy to announce the release of the RISC-V native-code backend for > OCaml 4.06. See https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00012. > html for the 4.04 announcement (note there was no 4.05 release). > > The source code is available in the 4.06 branch of > > https://github.com/nojb/riscv-ocaml > > It currently targets the 64-bit variant of the RISC-V architecture, with > some preliminary work to support the 32-bit variant. This is great stuff. In fact I've been rebasing your original work on top of 4.06 for Fedora. I'll compare your 4.06 with mine to make sure we're not missing anything. We've just been given an expected date when the RISC-V architecture is expected to be added to glibc, which will allow us to safely continue with the Fedora/RISC-V project, the date coinciding with FOSDEM when we'll also be having a get together to talk about all things RISC-V. Rich. -- Richard Jones