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 2BAE27FFCF for ; Sat, 10 Sep 2016 20:10:12 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=n.oje.bar@gmail.com; spf=Pass smtp.mailfrom=n.oje.bar@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f44.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of n.oje.bar@gmail.com) identity=pra; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="n.oje.bar@gmail.com"; x-sender="n.oje.bar@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of n.oje.bar@gmail.com designates 74.125.82.44 as permitted sender) identity=mailfrom; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="n.oje.bar@gmail.com"; x-sender="n.oje.bar@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f44.google.com) identity=helo; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="n.oje.bar@gmail.com"; x-sender="postmaster@mail-wm0-f44.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A1BSa0BDKFrRp2Y8utDtZUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP75p8bcNUDSrc9gkEXOFd2CrakV0qyI7eu5AzVIoc7Y9itdINoUD15NoP?= =?us-ascii?q?5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScb6xv663OGq+pDVfx4AxH/kOeszf12KqlCbjMgdgYJ4Ju4OjD6P6llPfe?= =?us-ascii?q?lNjys8P1OYnz714MG97J9qtSNKtKRy2dRHVPDcfq8/SbVDRBMkPmw8rOfir1GX?= =?us-ascii?q?S02I5HZaWGwMuhVNCgnBqhr9W8Gi4WPBquNh1XzCboXNRrcuVGHntv8zRQ=3D?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DDAAChS9RXhixSfUpeGgEBAQECAQEBA?= =?us-ascii?q?RcBAQQBAYMOAQEBAQE8OXwHjSyfTIlCgg+CAyiFdQKBMgc4FAEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQgLCwkZL4IyBAEVAQSCEQEBBBIRHQEbEgYFAQMMBgULDQICJgICIgERA?= =?us-ascii?q?QUBHAYTIogNAQMXDqZxgTI+Mos9gWqCXgWDXwoZJw1TgksBAQEBAQUCARwCBhB?= =?us-ascii?q?2iHeBA4dDgloBBJQThVCGJYkngjyNJoxVgjkTHoERHoMbHoFaOjQBAQEBhjCBQ?= =?us-ascii?q?AEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DDAAChS9RXhixSfUpeGgEBAQECAQEBARcBAQQBAYMOAQE?= =?us-ascii?q?BAQE8OXwHjSyfTIlCgg+CAyiFdQKBMgc4FAEBAQEBAQEBAQEBEgEBAQgLCwkZL?= =?us-ascii?q?4IyBAEVAQSCEQEBBBIRHQEbEgYFAQMMBgULDQICJgICIgERAQUBHAYTIogNAQM?= =?us-ascii?q?XDqZxgTI+Mos9gWqCXgWDXwoZJw1TgksBAQEBAQUCARwCBhB2iHeBA4dDgloBB?= =?us-ascii?q?JQThVCGJYkngjyNJoxVgjkTHoERHoMbHoFaOjQBAQEBhjCBQAEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,312,1470693600"; d="scan'208";a="235967701" Received: from mail-wm0-f44.google.com ([74.125.82.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Sep 2016 20:10:11 +0200 Received: by mail-wm0-f44.google.com with SMTP id w12so78756872wmf.0 for ; Sat, 10 Sep 2016 11:10:11 -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=PEDK2VyR3Sor/tawdOhAudYq3ScVSuKWAWIZG8im/7k=; b=P/JiVwYf/gkRkkS/UwMpP7MmuY+sYYsDhes7wsTyzt01BZ8M/rVlBNBY0aogQYv0Im wjJ3laqvNZnn3nic/QLgW2btHffR/nHbA1HnqRe8Uk/iHdz8vHWktoGQenDbBiIv0aBr wVOb130b4Nn+9+QyPPEYyuqLANEJPqgHGxetzEaMTza0mOI1btsn+Wo9lBBzeIoHqAX7 WBLw0kQZrJ3VbZISRXAn0krDC/BySL/9Kuk3w4TAChSmRm3HhMeDBh9XyumMkVanv5O4 FDbF2mIpGLq9bVw9ZYXJLstfjnDIJOAFXWZi/N7FJnGvv/02mxrN1W0yR3k6b9AQYiat V32g== 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=PEDK2VyR3Sor/tawdOhAudYq3ScVSuKWAWIZG8im/7k=; b=TJNaZZOZ1+gYXVX9k892RVmaGuQyEjwDf3MCITCDWYsUZQNPkYsO8hGhx9QMUE0l1D widNgrrddx8J6JVRXcMb/jybfqfLAWWVTUvBEZ6/5uPO3W/8iANE6K+RtYECmDCDZ82O eTcZONMOTF65Fn7WejyzUll51wt2cMYieK0DrsoifJlXD4FnugroIbrv6szp85mmgNJg ZE0S+Yc/GC8P++WdezV5JQzXia01Q4zDeWI19lYzXudctmM87xqHCxPgrIEHBOlmetDI kyEHAa1t1nAJDZGUOoZvQ4JuWovfqNcBWkaZfatCRuC6tuHzR+Tc4rt4sAg5SmZNCFEU Ujzg== X-Gm-Message-State: AE9vXwNaUZq+OlgLLKft/UDolqsWRjF/PK1TQUZCi28RgXVwkBE/HexSC2JaiJTmv5pcMgeHkbXvHrolwG7HdQ== X-Received: by 10.194.158.73 with SMTP id ws9mr7594841wjb.168.1473531011131; Sat, 10 Sep 2016 11:10:11 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.36.101 with HTTP; Sat, 10 Sep 2016 11:10:10 -0700 (PDT) In-Reply-To: <20160910170847.GS324@annexia.org> References: <20160910164151.GF27249@annexia.org> <20160910170847.GS324@annexia.org> From: Nicolas Ojeda Bar Date: Sat, 10 Sep 2016 20:10:10 +0200 Message-ID: To: "Richard W.M. Jones" Cc: Gabriel Scherer , caml users Content-Type: text/plain; charset=UTF-8 X-Validation-by: n.oje.bar@gmail.com Subject: Re: [Caml-list] [ANN] RISC-V backend for the native-code OCaml compiler Hi Richard, - As Gabriel explained the upstream is the branch riscv64-unknown-elf of the official 4.02 release found at github.com/nojb/ocaml. It should be trivial to bring it up to date (I will do it if there is interest). - I have been following your efforts on the RISC-V mailing list and I agree that it would be great to have OCaml running in Fedora userland on RISC-V. The native-code backend I wrote was only tested with the spike simulator (I don't remember the details now, but I had to build OCaml with newlib instead of libc for this). Do get back to me if you detect any issues with the port - I haven't updated it in quite some time and some adjustments may be needed. Are there any step-by-step instructions on how to run Fedora on RISC-V at this stage ? Thanks! Best wishes, Nicolas On Sat, Sep 10, 2016 at 7:08 PM, Richard W.M. Jones wrote: > 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