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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 115D27FFCF
	for <caml-list@sympa.inria.fr>; Sat, 10 Sep 2016 18:41:53 +0200 (CEST)
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=3AT6HFjxxE8ZtRvBHXCy+O+j09IxM/srCxBDY+r6Qd?=
 =?us-ascii?q?0uMeIJqq85mqBkHD//Il1AaPBtSCrawawLOO6OigATVGusnR9ihaMdRlbFwst4?=
 =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?=
 =?us-ascii?q?bre9JomHqcW80OS74NX0YQhEjXKXaKk6eBPwqgfc8MMfm6NtL68wzl3CpX4eKM?=
 =?us-ascii?q?pMwmY9b2iSlBb1/Mv4w9hGtWxyvPQs7IQIBb/7dKQQRLpeASQnOiYy/sK95kqL?=
 =?us-ascii?q?dheG+nZJCjZeqRFPGQWQtBw=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DAAQBPNtRX/7BbRFBeGgEBAQMBAQEYB?=
 =?us-ascii?q?oMQAQEBAQEeV4N2ijmVbwEBAQEBAQaTEoIPggMghX0CgTk4FAEBAQEBAQEBAQE?=
 =?us-ascii?q?BXSeCMhiCGAEBBDo/EAsYCRMSDwUoIYhhCsByAQEBAQEFAQEBAR4FhWg+hFqHb?=
 =?us-ascii?q?oIvBZljAYYkiR2BYhaEYIkUkFAeNoRcO4gdAQEB?=
X-IPAS-Result: =?us-ascii?q?A0DAAQBPNtRX/7BbRFBeGgEBAQMBAQEYBoMQAQEBAQEeV4N?=
 =?us-ascii?q?2ijmVbwEBAQEBAQaTEoIPggMghX0CgTk4FAEBAQEBAQEBAQEBXSeCMhiCGAEBB?=
 =?us-ascii?q?Do/EAsYCRMSDwUoIYhhCsByAQEBAQEFAQEBAR4FhWg+hFqHboIvBZljAYYkiR2?=
 =?us-ascii?q?BYhaEYIkUkFAeNoRcO4gdAQEB?=
X-IronPort-AV: E=Sophos;i="5.30,311,1470693600"; 
   d="scan'208";a="235964691"
Received: from annexia.org ([80.68.91.176])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Sep 2016 18:41:52 +0200
Received: from rich by annexia.org with local (Exim 4.84_2)
	(envelope-from <rich@annexia.org>)
	id 1bilLj-0000Je-G7; Sat, 10 Sep 2016 17:41:51 +0100
Date: Sat, 10 Sep 2016 17:41:51 +0100
From: "Richard W.M. Jones" <rich@annexia.org>
To: Nicolas Ojeda Bar <n.oje.bar@gmail.com>
Cc: caml-list@inria.fr
Message-ID: <20160910164151.GF27249@annexia.org>
References: <CAPunWhD=JePG9dBe-pp=ARaAzTVfi869XQVzUvhg+xta_AsJQA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAPunWhD=JePG9dBe-pp=ARaAzTVfi869XQVzUvhg+xta_AsJQA@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

(Resurrecting the old thread ...)

On Sun, Jun 07, 2015 at 11:14:16PM +0530, Nicolas Ojeda Bar wrote:
> This release is in the form of a cross-compiler.  It depends on the
> cross-compiling support recently added to 4.02.0+trunk.  It outputs
> ELF binaries that can be simulated directly on the RISC-V ISA
> simulator (spike) or run natively in a suitable virtual machine.
> 
> For detailed installation instructions, please visit:
> https://github.com/nojb/riscv-ocamlopt.

Hi Nicolas,

I'm confused here -- where is the upstream source?  For example, is
there a fork of the upstream OCaml git repo with your changes on top?

Rich.