From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 0EE737FFCF
	for <caml-list@sympa.inria.fr>; Sat, 10 Sep 2016 19:08:50 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rich@annexia.org) identity=pra; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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=3ArAFWEhfYT9H4B/6Y9+CH+vf/lGMj4u6mDksu8pMi?=
 =?us-ascii?q?zoh2WeGdxc+6bB7h7PlgxGXEQZ/co6odzbGH6ua+BydZucfJ8ChbNscdD1ld0Y?=
 =?us-ascii?q?RetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?=
 =?us-ascii?q?fbytScbshsi6n9q/54fUK10RwmHsOPUscl7v9VSZ9pFPx9AzcuBpklqBi0ALUt?=
 =?us-ascii?q?we/XlvK1OXkkS0zeaL17knzR5tvek8/dVLS6TwcvdwZ7VZCDM7LzJ9v5Wz5lHr?=
 =?us-ascii?q?BDGC7XoEU2gQjgEAQ02ctEm7Dd/NtX7Vv+Bn2SSedfb9Tb0uVC7qu6hiQgXphS?=
 =?us-ascii?q?NBLDU5/XvakOR/iatapFSqoBkpkKDOZ4TAfsB/daPUZ99SeixkGI5zUCpMGcn0?=
 =?us-ascii?q?O5EOBOopNOBeopn8rh0JtxToVlrkP//m1jId3iy+5qY9yel0VFiehAE=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ATAgC/PdRX/7BbRFBeHAEBBAEBFwaDE?=
 =?us-ascii?q?AEBAQEBHld8jTOVcAEBAQEBAQaTEoIPggMohXUCgTk4FAEBAQEBAQEBAQEBXSe?=
 =?us-ascii?q?CMgQBFQEEghEBAQQ6PxALGAkTEg8FKCGIYQrAfQEBAQEGAgEfBYVoPoRaih0Fl?=
 =?us-ascii?q?BOFUAGGJIkdj2yMVYN7HjaEXDs0AQEBAYYwgUABAQE?=
X-IPAS-Result: =?us-ascii?q?A0ATAgC/PdRX/7BbRFBeHAEBBAEBFwaDEAEBAQEBHld8jTO?=
 =?us-ascii?q?VcAEBAQEBAQaTEoIPggMohXUCgTk4FAEBAQEBAQEBAQEBXSeCMgQBFQEEghEBA?=
 =?us-ascii?q?QQ6PxALGAkTEg8FKCGIYQrAfQEBAQEGAgEfBYVoPoRaih0FlBOFUAGGJIkdj2y?=
 =?us-ascii?q?MVYN7HjaEXDs0AQEBAYYwgUABAQE?=
X-IronPort-AV: E=Sophos;i="5.30,312,1470693600"; 
   d="scan'208";a="192714068"
Received: from annexia.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Sep 2016 19:08:49 +0200
Received: from rich by annexia.org with local (Exim 4.84_2)
	(envelope-from <rich@annexia.org>)
	id 1billn-0000Ks-M5; Sat, 10 Sep 2016 18:08:47 +0100
Date: Sat, 10 Sep 2016 18:08:47 +0100
From: "Richard W.M. Jones" <rich@annexia.org>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: Nicolas Ojeda Bar <n.oje.bar@gmail.com>,
	caml users <caml-list@inria.fr>
Message-ID: <20160910170847.GS324@annexia.org>
References: <CAPunWhD=JePG9dBe-pp=ARaAzTVfi869XQVzUvhg+xta_AsJQA@mail.gmail.com>
 <20160910164151.GF27249@annexia.org>
 <CAPFanBGCkTNKUppYnFLb3ZbO2k4FFQHGmGAz7XsKLT1=8Mv4Zg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAPFanBGCkTNKUppYnFLb3ZbO2k4FFQHGmGAz7XsKLT1=8Mv4Zg@mail.gmail.com>
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: Re: [Caml-list] [ANN] RISC-V backend for the native-code OCaml
 compiler

On Sat, Sep 10, 2016 at 12:49:45PM -0400, Gabriel Scherer wrote:
> The given link is an opam repository that contains a description of the
> forked compiler for easy installation via opam. Looking at the description
> file for the compiler
> 
> 
> https://github.com/nojb/riscv-ocamlopt/blob/master/compilers/4.02.0/4.02.0%2Briscv64-unknown-elf/4.02.0%2Briscv64-unknown-elf.comp
> 
> it appears that the upstream source (currently) is a branch of the
> github:nojb/ocaml repository:
> 
>   https://github.com/nojb/ocaml/commits/4.02.0%2Briscv64-unknown-elf

Just what I was looking for, thanks.

FWIW we are currently porting Fedora to RISC-V, so of course I
want to have a go at compiling OCaml too.

https://fedoraproject.org/wiki/Architectures/RISC-V

Rich.

-- 
Richard Jones