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 8B93180053 for ; Sat, 5 Nov 2016 08:43:16 +0100 (CET) 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-f48.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.48; 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.48 as permitted sender) identity=mailfrom; client-ip=74.125.82.48; 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-f48.google.com) identity=helo; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="n.oje.bar@gmail.com"; x-sender="postmaster@mail-wm0-f48.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AwGmp7hwIzDO2avvXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uMWIJqq85mqBkHD//Il1AaPBtSBraMcwLOP7eigATVGusnR9ihaMdRlbFwst4?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?bre9JomHhM2y06iv4JDJeE0cjzO4ZfZ2LQ6qhQTXrMgfx4V4fPUf0BzM911JcO?= =?us-ascii?q?NSzHggAlCekx+0zM6qtMpltSNStrQr/tRoXqDzfqB+RrtdWmd1e1sp7dHm4EGQ?= =?us-ascii?q?BTCE4WERBz0b?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BNAAAojR1YhjBSfUpcHQEFAQsBGAEFA?= =?us-ascii?q?QsBgwMBAQEBAT06fAeNMZ9OiW2CD4IIKYd8Bz8UAQEBAQEBAQEBAQESAQEBCAs?= =?us-ascii?q?LCR0wgjMYgi8RHQEbHgMSEAcIAiYCJAERAQUBDhQnDogbAQMXDp9PggiBMj8yi?= =?us-ascii?q?0+CDAYBLYMaBYNqChknDVSDQwIBBRB5kVaCXAWUR4VghjWKD5AOAo9tEx6BEh6?= =?us-ascii?q?BGjKDByCBaT00AYdDAQEB?= X-IPAS-Result: =?us-ascii?q?A0BNAAAojR1YhjBSfUpcHQEFAQsBGAEFAQsBgwMBAQEBAT0?= =?us-ascii?q?6fAeNMZ9OiW2CD4IIKYd8Bz8UAQEBAQEBAQEBAQESAQEBCAsLCR0wgjMYgi8RH?= =?us-ascii?q?QEbHgMSEAcIAiYCJAERAQUBDhQnDogbAQMXDp9PggiBMj8yi0+CDAYBLYMaBYN?= =?us-ascii?q?qChknDVSDQwIBBRB5kVaCXAWUR4VghjWKD5AOAo9tEx6BEh6BGjKDByCBaT00A?= =?us-ascii?q?YdDAQEB?= X-IronPort-AV: E=Sophos;i="5.31,595,1473112800"; d="scan'208";a="243702759" Received: from mail-wm0-f48.google.com ([74.125.82.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Nov 2016 08:43:15 +0100 Received: by mail-wm0-f48.google.com with SMTP id p190so90782959wmp.1 for ; Sat, 05 Nov 2016 00:43:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=6Q74L9YmfhfkxYOQ026I1GdIPJMHTKgdmxykinSibAI=; b=Btd4RTT0PFN5z+ihm8r4cFWs5rY+Hntje56J8t2K0mQpTVcIK5SDK1hvXgf2sfi9lL wq7MAm4jmZNqKaQU42o17Mk1xkBpVbQFo8SdXuMXXteQNZeagVeS8lk37chsx+rXB7vD MM8lYyRNAa3w+H/+W+IomQ9ysL8of4TkRX0wOW0XwRQFkGkoXrobXV8M5q9ZMjejFh7M 7CSkKB6r/huCMS+jPINUhifWobDFwoBHZwNX0mXKmEqzNjr8Gngqk4Fn152TdfTIhnak RjoiJvvXdpvI0EpDQncRCQgG3Lis1MffMvLfNPANG0LU/FfZ+sq8r5Z+/6MlVKQcjZrX qDtA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=6Q74L9YmfhfkxYOQ026I1GdIPJMHTKgdmxykinSibAI=; b=dDEDztOBpuGMrRsPbqiBdwtvB6synM9+5XzQVVzXD+NojtmWv1aun/YPMH9auKih3a sP5wNDL1aPMjdCAmaPHwXoldBMfZFoVqVHAQUUl6qxHi0+EL2FinOO6ScsKxbyo9hLTM NkzWr0Pvz6g7Xi/7290ISPYiw7ET77YVokCx8c7BmmAS/T8PjlEfL2783RkfZ06TWJUL OLA/7E+nioKG3kZfJ9gZuo+c1RDVlnJrOMpMc6kPOOoxborPMP+fQ9pbaYQImdj0vvjL AC2rxOhId5w4SatwA6iHDBNmsV8gIdhxzn+FPdYZ+0V5piGV5i2bkH/xokUMLWp6O3eY AKvg== X-Gm-Message-State: ABUngvffLpsResyRIzarvZO09G5l100ys47ZUSmmSN1SDv8OVmMvm0BuJe6Lp+f52pDJe8CbTg/Cz8W0jGHvVA== X-Received: by 10.28.56.133 with SMTP id f127mr688395wma.37.1478331795593; Sat, 05 Nov 2016 00:43:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.235.230 with HTTP; Sat, 5 Nov 2016 00:43:15 -0700 (PDT) From: Nicolas Ojeda Bar Date: Sat, 5 Nov 2016 08:43:15 +0100 Message-ID: To: caml users Content-Type: text/plain; charset=UTF-8 X-Validation-by: n.oje.bar@gmail.com Subject: [Caml-list] [ANN] RISC-V native backend, no longer cross-compiling Dear all, A little over a year ago, I announced [1] a preliminary release of a native-code backend for the OCaml compiler targeting the emerging RISC-V architecture [2]. Due to the state of the RISC-V development tools at the time, this backend existed only in the form of a native-code cross-compiler and had many limitations. Since then, the RISC-V community has made considerable progress to the point that it is now easy to run a full Linux environment (including gcc + friends) natively on RISC-V [3, 4]. 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. If you would like to play around with it, a Docker image is available with an installed 4.04 ready to go: docker run -it nojb/riscv-ocaml:4.04.0 /bin/bash As usual, any and all comments are warmly welcome. Thanks! Best wishes, Nicolas [1] https://sympa.inria.fr/sympa/arc/caml-list/2015-06/msg00046.html [2] https://riscv.org/ [3] https://fedoraproject.org/wiki/Architectures/RISC-V [4] https://hub.docker.com/r/sorear/fedora-riscv-wip/