From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id MAkvELIAtGTLlAAASxT56A (envelope-from ) for ; Sun, 16 Jul 2023 16:37:38 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id MBcJD7IAtGQeqwAAG6o9tA (envelope-from ) for ; Sun, 16 Jul 2023 16:37:38 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id CCDA057103 for ; Sun, 16 Jul 2023 16:37:37 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1689518258; a=rsa-sha256; cv=none; b=ECk4d/l2XUsS9JfY69HnUm304KKlhXl6BYO5uu0ZXRP3F/hfM7mQ2b0i+2nC/pMpkO8pWe APjJ+Ez3JCEcG59/fxT2suzDijXa8060SabEXZepmbgtAvoXT20glYay/nPekI973IRr9y 2e3qq8sjUxNWUdq14Pt0nzTXH+e9FUT/8l6zA6zpM+XM+Nj8o5m/APfdurrYxNBPvP9oAk iNuDWZ9IBWY0TaqoVNkx6892ct2nEoeRQeyiVVpQvqyxML+xhz5hI7zo5R3dHl0ack4ST8 c+nDppr2rhDURIDrWpwz7x52tEjLaCXPb7qhV/kSBkZvejVJngteuyrDnB1HnQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1689518258; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=0gdD310qtxSAMgN6q4ZwKb/NzLmp4RDaokvjZL8i6eM=; b=bdRxx/8M+lOT4dkEqP5knah9AoZwtnKSawcJ4PkqmnYVrjobQYCflnnoWj5Vo+LtphUIwq DLPVOqoTNT8L50mM7vOrkQ3LUSmTRu2WNi5DJHHSiGL5upWzn8LDDu6BTA9W4CODw8Uc9f TN9+1gU53gYiMGr6puJy7rzgTI+I0zWW6w/a8AOId/kCvCsTQ4gWJQTZ86jQpbG08X0DRF c/VCYnVJwFyOTazcbT0M/jf2qlDP3lg5EZ4La8X73o/sE/9UtYRiTpsirReNFuqIwnH99u 7BuAKAmctLj9Xd0nPHJAp+vhErmjCR+1SpApvRo0BnRUMbxKDtRWLyR2P3yo+A== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qL2s0-0003ns-3y; Sun, 16 Jul 2023 10:37:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qL2ry-0003nU-Nm for guix-devel@gnu.org; Sun, 16 Jul 2023 10:37:06 -0400 Received: from cyberdimension.org ([2001:910:1314:ffff::1] helo=gnutoo.cyberdimension.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1qL2rw-00005j-Q9 for guix-devel@gnu.org; Sun, 16 Jul 2023 10:37:06 -0400 Received: from gnutoo.cyberdimension.org (localhost [127.0.0.1]) by cyberdimension.org (OpenSMTPD) with ESMTP id 647e2ec0; Sun, 16 Jul 2023 14:36:59 +0000 (UTC) Received: from primary_laptop (localhost [::1]) by gnutoo.cyberdimension.org (OpenSMTPD) with ESMTP id a795d9f5; Sun, 16 Jul 2023 14:36:59 +0000 (UTC) Date: Sun, 16 Jul 2023 16:36:35 +0200 From: Denis 'GNUtoo' Carikli To: Fernando Oleo Blanco Cc: Guix Devel Subject: Re: Adding GNAT/GCC-Ada to Guix Message-ID: <20230716163635.5cc42861@primary_laptop> In-Reply-To: <5e3b0f14-9acf-ae97-1b87-f539917ecd8c@irvise.xyz> References: <5e3b0f14-9acf-ae97-1b87-f539917ecd8c@irvise.xyz> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/LMu_8cRTHSflhbDLLhs5dx+"; protocol="application/pgp-signature"; micalg=pgp-sha256 Received-SPF: pass client-ip=2001:910:1314:ffff::1; envelope-from=GNUtoo@cyberdimension.org; helo=gnutoo.cyberdimension.org X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Queue-Id: CCDA057103 X-Migadu-Scanner: mx1.migadu.com X-Migadu-Spam-Score: -7.75 X-Spam-Score: -7.75 X-TUID: f1Ihw8PjjPE8 --Sig_/LMu_8cRTHSflhbDLLhs5dx+ Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable On Sun, 16 Jul 2023 08:47:41 +0000 Fernando Oleo Blanco wrote: > Dear Guix community, Hi, > Why did I tell all of this? > Because I would like to add GCC-Ada to Guix and I am fully aware of > the work that the Guix and the #bootstrappable people are doing > towards a fully transparent compilation history. Opaque binaries are > not allowed for that purpose. Sadly that is not currently possible > with Ada. Therefore, I would like to get permission to add GCC-Ada as > a binary up until there is a bootstrapping path available. I am aware > that some languages/tools have received this treatment before. I don't know well the exact policies with that regard (I'm not a Guix maintainer, just an occasional contributor) but I found the following compilers in Guix source code: - The haskell is not and was never bootstrapped from source. Though the binaries used to bootstrap it changed over time. - There are also other compilers like vala and nim that convert vala and nim source code to C. The issue is that they are written in vala and nim, and Guix uses generated "source code" (generated C that is very hard to read) to build the compilers. People usually don't modify nor audit that kind of generated source unless it is for debugging purposes. > 3. What can Ada provide to Guix? >=20 > Apart from being an official language of the GCC toolsuite, it is > also used in some important and unique places. For example, the > graphics stack of Coreboot/Libreboot among other drivers are written > in Ada [3] (you can find more by running `find . -type f -name > "*.ad*"` on Coreboot's root folder). Nowadays Libreboot includes nonfree software in its releases, so because of that me and Adrien 'Neox' Bourmault started working to continue the original spirit of the old Libreboot that didn't contain any nonfree software. And while we don't have a release yet, in the longer run we're interested in using Guix for building it because Guix is FSDG compliant and it can be installed on top of most GNU/Linux distributions. It would also make the maintenance easier and shared with other users of Guix, enable to easily rebuild older releases, have faster build times, etc. Since it's also possible to inherit packages, in the long run it would probably makes sense for us to move most of our work in Guix. So having some ways to build software written in Ada with Guix would make a big difference here as without that we would probably only be able to use Guix only for some parts (like for building GRUB, SeaBIOS etc for Coreboot). Without that, Guix users would also need to use another distribution with Guix inside to be able to build it. > It is also the base programming > language of SPARK [4], a verifiable, GPLv3 licensed, programming > language, used for the ARIANE rockets and the Rosetta space probe for > example. And of course, there are plenty of libraries, tools and > programs written in Ada! Without a compiler, none of this can be > packaged in Guix... At the last FOSDEM, I was also shown at the ADA table that it was also possible to build software for micro-controllers with it. Though I've no idea if there are interesting free software firmwares written in Ada worth packaging in Guix. Anyway, Thanks a lot for all your work on this. Denis. --Sig_/LMu_8cRTHSflhbDLLhs5dx+ Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEeC+d2+Nrp/PU3kkGX138wUF34mMFAmS0AHMACgkQX138wUF3 4mPrOQ//abWhm3tb2xtV70qpaqEYfqJdG86dcD33dD4NvGiUck0Kc0gdzaWx/FRa mF9iOLPSq7NSHmKFj/m8rf2ZktecaLRbwpwSN01EEy6uXlLnIZhSAhgXF5eos3Ux E0Y0oMhuCn+A+vL0KIFy4Amejotl2cCWlmZrdnkG/GFVhrzNCVVAoinyZVPms/D4 ilp5LWKtTV6/mqDmi+xj/GSf4AU96R7+6nYWNA6xfZxiM+3XG1JnfkTQ1hF9JGpt m5tvtVL+2ckObuhct11tP3X+oJrzrFHRP5SSnVVxPlbtvaLdU7IDnxOFlEtEft0Q J/wHmxoEza/el2LbqFM9tp8myeU05Y85x15xZ2gfKKZQJEcxxIxfzj4tBivU7xcI Ij367shcKnxpbO752hl2UTXZjuLCZSiBU3FGlcVIKIgjjkB0UMEx4g2c6Y54s6el bbZCvOmkY54t0q2eg06rxVP7OTgpCf5S1uxnlHdeN1w5SHxFVuBpTMEtoTrUDXPf jdnx8k6JQuqM1L/cTqxvFSVNTn42LxxrFlnFBwTnLjkxUYresfDBplc0wdUSuRzp gIaTYZ5ziP364bDOsNAC1I3KhfyAaBuyUkDS146exDeC8cSkrK7ehGYeIf4zwz2p x8CkUDZf4BtsGhg5I2lvKbAeHK33vo9sb4e5xkXwIWSiiox3Iis= =CYII -----END PGP SIGNATURE----- --Sig_/LMu_8cRTHSflhbDLLhs5dx+--