From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 57D137F787 for ; Tue, 8 Nov 2016 20:08:51 +0100 (CET) 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=3AICmt6BcK7QjMCscLcYxsH+YslGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc6/Yh7h7PlgxGXEQZ/co6odzbGH6eaxBidbud6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3Dwdp?= =?us-ascii?q?POO9QteU1JXtkbHtsMaLKyxzxxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP?= =?us-ascii?q?5Xz247bXianhL7+9vitMU7q3cY6Lod8JtmUK79e60jBZtaATgve0o8/oW/s1/E?= =?us-ascii?q?TwbJ7HIGemoTmxtMRQPC6UepcI32t36wjOt22CCAMYXJC5VyERal6apwAle8ki?= =?us-ascii?q?YMNxYw9mfams15yqVBr0Ty9FRE34fIbdTNZ7JFdaTHcIZCSA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DOBgC0ISJY/7BbRFBdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgwQBAQEBAR9YfwGjGgEGgRySRIIPgggphXsCghNBEgE?= =?us-ascii?q?BAQEBAQEBAQEBYSiCMxiCFwEBBDo/EAsSBgkTEg8FKA0UiHMKtEWLSQEBAQcBA?= =?us-ascii?q?QEBI4V0QIRhgmSHRAWaLwGGNYoHgkeNWI0whAYlAS96G4UPPjWHOQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DOBgC0ISJY/7BbRFBdGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgwQBAQEBAR9YfwGjGgEGgRySRIIPgggphXsCghNBEgEBAQEBAQEBAQEBY?= =?us-ascii?q?SiCMxiCFwEBBDo/EAsSBgkTEg8FKA0UiHMKtEWLSQEBAQcBAQEBI4V0QIRhgmS?= =?us-ascii?q?HRAWaLwGGNYoHgkeNWI0whAYlAS96G4UPPjWHOQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,611,1473112800"; d="scan'208";a="244146985" Received: from annexia.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Nov 2016 20:08:50 +0100 Received: from rich by annexia.org with local (Exim 4.84_2) (envelope-from ) id 1c4BlJ-00073w-PD; Tue, 08 Nov 2016 19:08:49 +0000 Date: Tue, 8 Nov 2016 19:08:49 +0000 From: "Richard W.M. Jones" To: Nicolas Ojeda Bar Cc: caml users Message-ID: <20161108190849.GJ27249@annexia.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] [ANN] RISC-V native backend, no longer cross-compiling On Sat, Nov 05, 2016 at 08:43:15AM +0100, Nicolas Ojeda Bar wrote: > Today I am happy to announce a preliminary, native release of the full > OCaml system on RISC-V. It is available at > > https://www.github.com/nojb/riscv-ocaml. > > It targets the 64-bit variant of the RISC-V architecture, RV64G (the > 32-bit variant should also work, but has not been tested). All > libraries are supported (Dynlink and Num have a couple of issues left, > but I expect them to be resolved shortly). > > I plan to maintain and keep developing this port for the foreseeable > future, tracking official OCaml releases. It is currently based on > the recently released 4.04.0. I have added your backend to the Fedora Rawhide OCaml 4.04.0 package. It's not yet built in the publicly available Fedora/RISC-V packages, since those are based on Fedora 25 [currently Rawhide is the future Fedora 26]. However you can still look at the sources here: http://pkgs.fedoraproject.org/cgit/rpms/ocaml.git/log/ http://pkgs.fedoraproject.org/cgit/rpms/ocaml-srpm-macros.git/log/ A couple of things which would help us (a little, although they are not a big deal): - Squash your patches down to a single commit ... - ... but separate out the config.guess/config.sub change in a separate commit, since we would usually copy those in from our own copies. Thanks for your great work on OCaml & RISC-V, Rich.