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 c5ff346549e7 (Postfix) with ESMTP id 2FDB95D5 for ; Mon, 9 Apr 2018 14:12:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,427,1517871600"; d="scan'208";a="321954730" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Apr 2018 16:11:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BEE8682445; Mon, 9 Apr 2018 16:11:57 +0200 (CEST) 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 1A2B88240C for ; Mon, 9 Apr 2018 16:11:47 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=SoftFail smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=None smtp.helo=postmaster@vrout30.yaziba.net IronPort-PHdr: =?us-ascii?q?9a23=3AxrC7ehfcbtkCDqN4h5DQccKdlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcSzZx7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQds4YS2VcRMZcTy5OAo28?= =?us-ascii?q?YYUBDOQPIPhWoJXyqVYVsRu+HBOhCP/zxjNUhHL727Ax3eQ7EQHB2QwtB8oAsH?= =?us-ascii?q?XIo9XyMKcVU/u1w7HRwzXBcfxZxC3y55DVfxcku/GHQLV9cczQyUYzEAPFik+f?= =?us-ascii?q?qZf/MzOS1OQCrXWU4PB6We20kWEnsRp8ojyxycYji4nJiIMVxkrY+iV+xYY4PN?= =?us-ascii?q?u1Q1N1b96jFZtfrSCaN41uT8MlX25noiM6yrkctZ68ZigKx5IqzAPcZfyfa4WE?= =?us-ascii?q?/xHuWeaLLTp4hX9pYqyziwq9/ES6xODxWNG43EhWoidBiNXBtXAA2wbN5sSaSf?= =?us-ascii?q?Zx5Eis1DaJ2gvO8O9LO1o0mrDeK5M5wr4/iJ4TsUPbEy/ogkX2i7KWdlkq9+S0?= =?us-ascii?q?8ejmYq/pp56dN4BvkA7yKKIuldKjAeggMwgOWXaU+fik2bH+/kD0QK9Gg/03n6?= =?us-ascii?q?XDrpzWOcsWqrS3DgJbyooj7gywDzai0NQWh3kHK1dFdQqBj4joJ17OJ/T4Au2k?= =?us-ascii?q?g1i2lzdrxe7JMaD7DZnXNXfMiq3hcK1560FCxwszzN5f55NOBr4dJ/LzX1f9tM?= =?us-ascii?q?bEAR8hLwy03+HnBc1h2YwEXGKPBraVMKfTsV+T+uIiOPKMZY8QuDblMfcp/f/u?= =?us-ascii?q?jXkjmV8cZ6alx5UXaGqgEvRjJEWWfGTjj88aEWcPogo+VOvqiECeUW0bW3HnFZ?= =?us-ascii?q?g97TEyEo7uMsHmAMiPh7qMx23zSodXbWBuA1aKHGfpfsODQfhaOwyIJco0tD0P?= =?us-ascii?q?UrwoULgG1xyivTjQR6AveuzV8SocvIml09p46+SVnxgo3Th5H8WT0ieGSGQizT?= =?us-ascii?q?BAfCM/wK0q+R818VyEy6UtxqUATYUCtcMMaR8zMNvn98I/DtnzXgzbedLQEgSi?= =?us-ascii?q?T8WnDzB3RdU0kYRXPxRNXu66hxWG5BKERqcPnuXRVpg54qPS3j76IMMvky+bhp?= =?us-ascii?q?lktEEvR450DUPjhqN78FKLVZDTlFiFzP7sZK0O3STEsmGO0TjWsQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BuAADsc8tahyHMOLlbGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQjbygKg1aVC4F0E2Iakl2BegslhF4CgjIHGQwFLRYBAgEBAQEBAQE?= =?us-ascii?q?BARMBAQEKCwkIKCMMgjUkAYJJAQIDI1YQCwsNAgImAgIiEgEFARwGE4UNBAEKm?= =?us-ascii?q?X48iwWCHIgZJYIZBYEJhmKCE4ELAYJQBi6ERxIWgwCCVAKQT4Z4CIVWiF+BMos?= =?us-ascii?q?RhyiBdIZbDwMegQICIwuBeHBPMQaBfAEPE4IbiGKFQG0BjF6CNgEB?= X-IPAS-Result: =?us-ascii?q?A0BuAADsc8tahyHMOLlbGgEBAQEBAgEBAQEIAQEBAYQjbyg?= =?us-ascii?q?Kg1aVC4F0E2Iakl2BegslhF4CgjIHGQwFLRYBAgEBAQEBAQEBARMBAQEKCwkIK?= =?us-ascii?q?CMMgjUkAYJJAQIDI1YQCwsNAgImAgIiEgEFARwGE4UNBAEKmX48iwWCHIgZJYI?= =?us-ascii?q?ZBYEJhmKCE4ELAYJQBi6ERxIWgwCCVAKQT4Z4CIVWiF+BMosRhyiBdIZbDwMeg?= =?us-ascii?q?QICIwuBeHBPMQaBfAEPE4IbiGKFQG0BjF6CNgEB?= X-IronPort-AV: E=Sophos;i="5.48,427,1517871600"; d="scan'208";a="321954613" Received: from vrout30.yaziba.net ([185.56.204.33]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Apr 2018 16:11:46 +0200 Received: from mtaout20.int.yaziba.net (mtaout20.int.yaziba.net [10.4.20.37]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout30.yaziba.net (mx10.yaziba.net) with ESMTPS id C1FDA51F0A for ; Mon, 9 Apr 2018 16:11:45 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mtaout20.int.yaziba.net (Postfix) with ESMTP id B0C33160270 for ; Mon, 9 Apr 2018 16:11:45 +0200 (CEST) X-Virus-Scanned: amavisd-new at mtaout20.int.yaziba.net Received: from mtaout20.int.yaziba.net ([127.0.0.1]) by localhost (mtaout20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id cEwGUcqZhZW6 for ; Mon, 9 Apr 2018 16:11:45 +0200 (CEST) Received: from mail-oi0-f45.google.com (mail-oi0-f45.google.com [209.85.218.45]) by mtaout20.int.yaziba.net (Postfix) with ESMTPSA id 63FFB1601D0 for ; Mon, 9 Apr 2018 16:11:45 +0200 (CEST) Received: by mail-oi0-f45.google.com with SMTP id c3-v6so7730086oib.5 for ; Mon, 09 Apr 2018 07:11:45 -0700 (PDT) X-Gm-Message-State: ALQs6tBfkrzPs+K1kDD2S69Tplv/xRaaE7SDnOB7WWIyiVgrGfk82vcq uSyDX3idhtY+VbBU5qnzJXjwW0Q+Yh+KFapbBtk= X-Google-Smtp-Source: AIpwx48wXsCEVJmenZ1BV7pLqX9/HlZy9VdbVRps6U0kz8yf69s2rBCyzdVrnUJHQWhebMNCE6zklm7Xenp1zm6ibjo= X-Received: by 2002:aca:4e45:: with SMTP id c66-v6mr12882246oib.190.1523283104071; Mon, 09 Apr 2018 07:11:44 -0700 (PDT) MIME-Version: 1.0 Received: by 10.74.197.76 with HTTP; Mon, 9 Apr 2018 07:11:22 -0700 (PDT) In-Reply-To: <20180409135302.436rs72jrexqkzlt@annexia.org> References: <20180409135302.436rs72jrexqkzlt@annexia.org> From: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Date: Mon, 9 Apr 2018 16:11:22 +0200 X-Gmail-Original-Message-ID: Message-ID: To: "Richard W.M. Jones" Cc: OCaml Mailing List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrgedtgedrheeggdehvdcutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurhepjghfhfffkffuvfgtgfesthhqredttddtjeenucfhrhhomheppfhitgholhojshgpqfhjvggurggpueomrhcuoehnihgtohhlrghsrdhojhgvuggrrdgsrghrsehlvgigihhfihdrtghomheqnecuffhomhgrihhnpehotggrmhhlrdhorhhgnecukfhppedvtdelrdekhedrvddukedrgeehnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] Follow up to: Status of the OCaml RISC-V port Reply-To: =?UTF-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= X-Loop: caml-list@inria.fr X-Sequence: 16792 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hi Richard, Thanks for the update! As for the tests: - tests/asmgen: this one has not been ported, so it is not supposed to work; - tests/lib-dynlink-native/main: ditto, but I never got around to see why it fails exactly; - tests/unboxed-primitive-args: this one **is** supposed to pass, will investigate. Best wishes, Nicol=C3=A1s On Mon, Apr 9, 2018 at 3:53 PM, Richard W.M. Jones wrote: > > Previously ... > https://inbox.ocaml.org/caml-list/20180226142050.r5bautl4orekd3rf@annexia= .org/T/ > > The Fedora project recently received the HiFive Unleashed U540 board, > courtesy of SiFive Inc. I thought I'd follow up the thread with > observations on how OCaml (with nojb's patch) works on the real > hardware. > > From a development point of view the board is a mixed bag. It's quite > fast, but because it has no I/O ports except ethernet (no SATA for > example) it requires an awkward installation where you have a second > machine next to it acting as a file server and use NFS/NBD/iSCSI/etc > root support. > > I built and tested OCaml from source on the board. There are some > test failures which I need to investigate. (See also attachments.) > > I also rebuilt a selection of OCaml packages from Fedora on the board > using Fedora's ocaml 4.06 (which has nojb's patch). These rebuilt > fine so I guess the test failures don't affect real world jobs much. > > Hope this is interesting, > > Rich. --=20 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=