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 55DF28239C for ; Sun, 25 Feb 2018 18:36:13 +0100 (CET) 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=3AXQ17OxaI+DpHfGWTe00Uq4v/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoM29bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA38G/ZlNF+gqFVoB2uuxNw3ozbb4+OOfpiYq/QZ88WSXZbU8pPUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetUoZXzp1oSohu+HwasHv7gwSJIiXPs2qM2yfkqHwXB3AwmAd0Oq3?= =?us-ascii?q?rYp8jyOacIUOC60KnIwC7ZYPNQ3zfy9ofJchE7rv2WWrJwa8XRxFApGgjYgFuQ?= =?us-ascii?q?ronlMCmU1uQLq2Wb4OtgVf6vi246sA59uCSgxsApioTPm4kbyUjE+D16zYopP9?= =?us-ascii?q?G1SU12bcSgHZdNrS2WKol7T8IkTmp1oig10KcGtoS+fCUSyJQo2Rrfa/uffoeS?= =?us-ascii?q?5BLjUvieIDh5hH1/Yr6/gAyy8Ue4xu39UMm7zkpKozJGn9XQrHwA1h/e5tKDR/?= =?us-ascii?q?dg5EutxDSC2gHL5uFBO080lK7bK5A7wr43k5oeqV7DHi7ql0X2l6KZbEMk+u62?= =?us-ascii?q?5OXoY7XpvIWQN4huigHxKqgugNCwAfwkMggSWGiW4fiz26fm/U39WblKivw2kr?= =?us-ascii?q?LFsJ3BPsQapqu5AxdP3Yo56ha/CS2m0NUCknUdIlJFYkHPs4+8AGmGdOvgJfCl?= =?us-ascii?q?iVWwmTNlwOCAM6C3UbvXKX2W2o3gdrZ08UIU90wWi5h94JRZEftJdOjyUU/Zvd?= =?us-ascii?q?reAw84Okqz2emxW4Y17Z8XRW/aWvzRC6jVq1Ldvrt+cdnJX5ccvXPGE9Zg4vfv?= =?us-ascii?q?iXEjnlpEJvug250aeHGxWPN8LBfAOCa+spI6CW4P+zEGYqnyklTbCmxaYXC/T6?= =?us-ascii?q?M1oDYhB9D+VNqRdsWWmLWEmRyDMNhWa2RBUwveGHHuepWFUrELci3Ae8I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BGCAAd85Ja/7BbRFBcHAEBAQQBAQoBA?= =?us-ascii?q?YNPZnCcGUIBAQEBAQEGgTSBFpgbCiOFEAKCOBoGBDMVAQIBAQEBAQEBAQFqKII?= =?us-ascii?q?4IoJJAQEBAwE6PxALGAkTEg8tGwaFFgUMDK1fhHSDboIUAQEBAQYBAQEBHwWHQ?= =?us-ascii?q?oEPPoFvAYMtgy4Ch2MFoWEJAoc3jFqSbYxRiSSBLzQigVF9CDqCRIRZQI0nAQE?= =?us-ascii?q?B?= X-IPAS-Result: =?us-ascii?q?A0BGCAAd85Ja/7BbRFBcHAEBAQQBAQoBAYNPZnCcGUIBAQE?= =?us-ascii?q?BAQEGgTSBFpgbCiOFEAKCOBoGBDMVAQIBAQEBAQEBAQFqKII4IoJJAQEBAwE6P?= =?us-ascii?q?xALGAkTEg8tGwaFFgUMDK1fhHSDboIUAQEBAQYBAQEBHwWHQoEPPoFvAYMtgy4?= =?us-ascii?q?Ch2MFoWEJAoc3jFqSbYxRiSSBLzQigVF9CDqCRIRZQI0nAQEB?= X-IronPort-AV: E=Sophos;i="5.47,393,1515452400"; d="scan'208";a="256042874" Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 25 Feb 2018 18:36:12 +0100 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1eq0Db-00057A-JO; Sun, 25 Feb 2018 17:36:11 +0000 Date: Sun, 25 Feb 2018 17:36:11 +0000 From: "Richard W.M. Jones" To: SP Cc: caml-list@inria.fr, =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Message-ID: <20180225173611.5ixubujcwmhkxrd3@annexia.org> References: <20180225161430.zkfpkihg7jyxs5cg@annexia.org> <20180225163008.ptcnxyzvx6flkz3n@darkstar> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180225163008.ptcnxyzvx6flkz3n@darkstar> User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] Status of the OCaml RISC-V port On Sun, Feb 25, 2018 at 04:30:08PM +0000, SP wrote: > On Sun, Feb 25, 2018 at 04:14:30PM +0000, Richard W.M. Jones wrote: > > Fedora has been maintaining an out of tree RISC-V patch in our OCaml > > package for about 18 months, from: > > > > https://github.com/nojb/riscv-ocaml/commits/trunk > > Is it possible to get with opam switch? Do you mean on an x86_64 host? Given that I haven't finished compiling all the deps for opam it definitely won't work in the Fedora RISC-V image. In any case we're developing a distribution, so my primary concern is with the Fedora OCaml package. > > There are also development boards coming but it's likely you'll have > > to wait til July for general availability and even then they will cost > > $1000 and are not expected to have very good performance. > > I've been looking at this from the periphery, for 1k is a tall bill just > for messing around. What's the forecast for something more affordable > and usable? Eventually, but not likely this year. Rich.