From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 06fPJTYLQF9/WQAA0tVLHw (envelope-from ) for ; Fri, 21 Aug 2020 17:58:14 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id sEgxITYLQF+HOQAA1q6Kng (envelope-from ) for ; Fri, 21 Aug 2020 17:58:14 +0000 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 D876494050F for ; Fri, 21 Aug 2020 17:58:13 +0000 (UTC) Received: from localhost ([::1]:51722 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k9BIq-0000AS-FW for larch@yhetil.org; Fri, 21 Aug 2020 13:58:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35916) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k9BDj-0002xE-4K for help-guix@gnu.org; Fri, 21 Aug 2020 13:52:55 -0400 Received: from out4-smtp.messagingengine.com ([66.111.4.28]:36213) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k9BDh-0004RF-C9 for help-guix@gnu.org; Fri, 21 Aug 2020 13:52:54 -0400 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 270375C01E0; Fri, 21 Aug 2020 13:52:51 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Fri, 21 Aug 2020 13:52:51 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm3; bh=ysXeatyr065u04UB8uvqNJVM5BR7qrI2gO1U/LQLn D8=; b=o7owFYxafA23fFNioq1tOADfrn42DgqsQ+4Ybfg6fs8wLmgif/L3brPNa QSe7lFPpvKOxBfZqeGL4UhdUmjXEo/PPcVeK4P5R+oHUb87kB3x9Y5hCy0KY18Nq FmmitX3y3SBW+dQ4eHbxjcotBe49TM+K2pVv45mYvKkdpDdQUoFFaX4RLLvaSBWX lnjc8yl3WmY8Z4cjfKM9ks7BELzdKJ6Ip4NKSTEgiNuHwYhAxLGImiFzKm2IFbYh HdkyZEXXOqBG7uwv9Ln/nS5IlQmzYRjDlzGDwv1svezYqiyBmJz+khKbKAdAaLef rg9uuEtVdcbDo+COUr3ZZdGgt4cJA== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedrudduvddguddtkecutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecunecujfgurhephffvufhfffgjkfgfgggtgfesth hqredttderjeenucfhrhhomhepvfhimhhothhhhicuufgrmhhplhgvuceoshgrmhhplhgv thesnhhghihrohdrtghomheqnecuggftrfgrthhtvghrnhepieduuefhgeegleelveehge dugfeuhfeikefftdevieelgfelhfdvtdfgieehtefgnecukfhppeejgedrudduiedrudek iedrgeegnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomh epshgrmhhplhgvthesnhhghihrohdrtghomh X-ME-Proxy: Received: from mrblack (74-116-186-44.qc.dsl.ebox.net [74.116.186.44]) by mail.messagingengine.com (Postfix) with ESMTPA id ABC0330600A3; Fri, 21 Aug 2020 13:52:49 -0400 (EDT) From: Timothy Sample To: divoplade Subject: Re: What about GCC support for ADA ? References: <6827422bf66578e4f17ade3a7b35c547e934ca9e.camel@divoplade.fr> Date: Fri, 21 Aug 2020 13:52:48 -0400 In-Reply-To: <6827422bf66578e4f17ade3a7b35c547e934ca9e.camel@divoplade.fr> (divoplade's message of "Fri, 21 Aug 2020 10:59:54 +0200") Message-ID: <87blj3ga33.fsf@ngyro.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=66.111.4.28; envelope-from=samplet@ngyro.com; helo=out4-smtp.messagingengine.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/08/21 13:52:51 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: help-guix@gnu.org Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=messagingengine.com header.s=fm3 header.b=o7owFYxa; dmarc=none; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Spam-Score: -0.21 X-TUID: 4WsYxLtLYIyY Hi divoplade, divoplade writes: > Recently I was introduced to the ada programming language. [...] > However, it is not installed with gcc-toolchain (I am on a foreign > distribution). > > Are there deep reasons why it is disabled? [...] Is there a > bootstrapping problem for instance? That=E2=80=99s the issue, yes. The GNAT frontend is written in Ada, and can only be built with GNAT. What makes this worse is that there isn=E2=80=99t a pre-built binary availa= ble for bootstrapping. Adacore Technologies offers a =E2=80=9Ccommunity=E2=80= =9D version of GNAT as a binary, but I think there might be licensing issues. [1] I wrote code a long while ago that assembles a working GNAT binary from Debian. It was the best approach I could come up with for getting a well-established, free software version of GNAT as a binary. It might be useful if someone wanted to make an Ada channel. The approach was a little too ugly for Guix proper. -- Tim [1] I=E2=80=99m not sure I remember all the details. The Adacore version is released under the GPL, but I think it lacks the GCC Runtime Library Exception. This means that the code it produces would have to be released under the GPL. This might be a problem for compiling GNU GNAT, since it does contain the exception. Again, my memory is fuzzy here and I encourage anyone interested to check for themselves.