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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id ADF207FFCF for ; Sat, 10 Sep 2016 18:50:28 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f47.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.218.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.218.47 as permitted sender) identity=mailfrom; client-ip=209.85.218.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f47.google.com) identity=helo; client-ip=209.85.218.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-oi0-f47.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AfkcItRdPDCrPjIk0OkKWABE/lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc+4Yx7h7PlgxGXEQZ/co6odzbGH6ua+BydZucjJ8ChbNscdD1ld0Y?= =?us-ascii?q?RetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbshsi6n9q/54fUK10RwmHsOPUscl7v9VuZ9pFPx9AzcuBpklqBi0ALUt?= =?us-ascii?q?we/XlvK1OXkkS0zeaL17knzR5tvek8/dVLS6TwcvdwZ7VZCDM7LzJ9v5Wz5lHr?= =?us-ascii?q?BDGC7XoEU2gQjgEAQ02ctEm7DaHKrzDiu+Fh9C6fNMzwBfBoCHXxp5tsHVXSiS?= =?us-ascii?q?wHPiQ1uF6Rr4o4rqVdrQnr70hlwoXUSIiTMvduf6qbeskVEzlvRMFUAgNICJm9?= =?us-ascii?q?Yo9HNOEBMPxVtcGpqFIEtxqzAU+3D+Pi0DJSrnDz1Kw+le8mFFeVj0QbA9sSvS?= =?us-ascii?q?GM/53OP6AIXLXwkfDF?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ACAwD0ONRXfy/aVdFeGwEBAQMBAQEXA?= =?us-ascii?q?QEEAQGDDgEBAQEBPDl8B6ZmhhKGRIJ+gg+CAyiFdQKBMgc5EwEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBCQsLCRcxgjIEARUFghEBAQQSER0BGxILAQMMBgUEBw0NHQICIgERAQUBC?= =?us-ascii?q?hIGExIQiA0BAxcOpnSBMj4yiz2BaoJeBYNgChknAwpTgksBAQEBAQEBAwEBAQE?= =?us-ascii?q?BAQEBFwIGEIYghFCEboJVgloFhmYMjSGFUIFlhECJJ4FuToQSiRSMVYI5Ex6BE?= =?us-ascii?q?Q8QAYJuK4ISIDQBAQEBhiWBQAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ACAwD0ONRXfy/aVdFeGwEBAQMBAQEXAQEEAQGDDgEBAQE?= =?us-ascii?q?BPDl8B6ZmhhKGRIJ+gg+CAyiFdQKBMgc5EwEBAQEBAQEBAQEBEgEBCQsLCRcxg?= =?us-ascii?q?jIEARUFghEBAQQSER0BGxILAQMMBgUEBw0NHQICIgERAQUBChIGExIQiA0BAxc?= =?us-ascii?q?OpnSBMj4yiz2BaoJeBYNgChknAwpTgksBAQEBAQEBAwEBAQEBAQEBFwIGEIYgh?= =?us-ascii?q?FCEboJVgloFhmYMjSGFUIFlhECJJ4FuToQSiRSMVYI5Ex6BEQ8QAYJuK4ISIDQ?= =?us-ascii?q?BAQEBhiWBQAEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,312,1470693600"; d="scan'208,217";a="192713553" Received: from mail-oi0-f47.google.com ([209.85.218.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Sep 2016 18:50:27 +0200 Received: by mail-oi0-f47.google.com with SMTP id m11so212594595oif.1 for ; Sat, 10 Sep 2016 09:50:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=YQ/ofORGqy4Fw+hLL+1vejFLNzdy7r2ZhSBBgqqrEpQ=; b=TA6jUGd1AsUmapJ/OuKa384cW2xmFFdLhVRGIdihTYbC5N/1Vd/q/9LRQJ/EL8jatm gtioj+I058rDSSU2sMihtyAXFWyBK8vh9HrDjEu1eb71gpVcRnzP7/iz8ydZ8mtxvQLk hesWqQSVSkyt5YmVG/tnMn/EsREpyTFakqWUbaj8X3xo+uXqu6irgY0RalBHZA6nUHXv Yfr/8ez2YNKafiVgARPzQ7z7BH4+lgQAUbKg1kaUpVleTjFuD7+UhIEXeQjDGu1iDVdO n7LeabaZ3Y6ONzWx9IF9ESLE2hAOJ1/376rNNcjpFCgcV6utCEZCW9u3h5Io5b2OmNkJ hQMA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=YQ/ofORGqy4Fw+hLL+1vejFLNzdy7r2ZhSBBgqqrEpQ=; b=XbCDtZsejf2/fUzC8dT/wGu5jLuCteFFGIofxckH2NQG/FKdyTkNVnmJRymfyb9ESY lM8NcJzSEHHLi+h83dBHjwPzH9JXcUhnF7jwsmbkS2/Mr8Sda5OFbKuGlXjbO7Ltk4Xf tCW5/xtJxnoc0KhlUqB+lFCqVvA3FtLmWbTH/ZSWfJtufPva2WOTHogploi6wgTzAanC hLAZdRKHOvOpBY245lZ5upvYn8Q1e+smx59SmZcBY0ndhximXNIedpR2VNI4rnHlH4mu 50nKzJIkBbK1xghpUOclgQnF1t4OGtRAkhYmMD9sk9gInDmvcCQpEsKxCcyn7lYo1KM1 9hYA== X-Gm-Message-State: AE9vXwNfRfTHQOqgVvd+RDwBr4ZpAtVSNUYJDJ01qzT2XfS0EohiVtkhXZ8Z8rWk/PfFx9j08F+5mfmdC+g1MA== X-Received: by 10.202.106.208 with SMTP id f199mr13419921oic.164.1473526225952; Sat, 10 Sep 2016 09:50:25 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.28.17 with HTTP; Sat, 10 Sep 2016 09:49:45 -0700 (PDT) In-Reply-To: <20160910164151.GF27249@annexia.org> References: <20160910164151.GF27249@annexia.org> From: Gabriel Scherer Date: Sat, 10 Sep 2016 12:49:45 -0400 Message-ID: To: "Richard W.M. Jones" Cc: Nicolas Ojeda Bar , caml users Content-Type: multipart/alternative; boundary=001a1140356843ebe2053c2a0f75 Subject: Re: [Caml-list] [ANN] RISC-V backend for the native-code OCaml compiler --001a1140356843ebe2053c2a0f75 Content-Type: text/plain; charset=UTF-8 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 On Sat, Sep 10, 2016 at 12:41 PM, Richard W.M. Jones wrote: > (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. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a1140356843ebe2053c2a0f75 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
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

=C2=A0 https://github.com/nojb/ris= cv-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:

= =C2=A0 https://github.com/nojb/ocaml/commits/4.02.0%2Briscv64-unknown-e= lf

O= n Sat, Sep 10, 2016 at 12:41 PM, Richard W.M. Jones <<= a href=3D"mailto:rich@annexia.org" target=3D"_blank">rich@annexia.org&g= t; wrote:
(Resurrecting the old th= read ...)

On Sun, Jun 07, 2015 at 11:14:16PM +0530, Nicolas Ojeda Bar wrote:
> This release is in the form of a cross-compiler.=C2=A0 It depends on t= he
> cross-compiling support recently added to 4.02.0+trunk.=C2=A0 It outpu= ts
> 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?=C2=A0 For example, i= s
there a fork of the upstream OCaml git repo with your changes on top?

Rich.

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a1140356843ebe2053c2a0f75--