caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Richard W.M. Jones" <rich@annexia.org>
To: "Nicolás Ojeda Bär" <n.oje.bar@gmail.com>
Cc: caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] [ANN] RISC-V OCaml 4.06
Date: Sat, 4 Nov 2017 18:58:04 +0000	[thread overview]
Message-ID: <20171104185804.es7ri6zxeoakiuuj@annexia.org> (raw)
In-Reply-To: <CAPunWhApp7QTJOz=9Ki9h48p+TpnRNAxEqff9TnGDcmQdtMUrQ@mail.gmail.com>


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

      parent reply	other threads:[~2017-11-04 18:58 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-11-03 22:58 Nicolás Ojeda Bär
2017-11-04 11:13 ` SP
2017-11-04 18:58 ` Richard W.M. Jones [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20171104185804.es7ri6zxeoakiuuj@annexia.org \
    --to=rich@annexia.org \
    --cc=caml-list@inria.fr \
    --cc=n.oje.bar@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).