From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id DADE8158013 for ; Sat, 9 Dec 2023 15:14:54 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 353A52BC04F; Sat, 9 Dec 2023 15:14:51 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id ED0C82BC016 for ; Sat, 9 Dec 2023 15:14:50 +0000 (UTC) References: <2a700166-f01a-4807-bd76-7b0cce72af0b@archeia.com> User-agent: mu4e 1.10.8; emacs 30.0.50 From: Sam James To: gentoo-dev@lists.gentoo.org Cc: ada@gentoo.org, toolchain@gentoo.org Subject: Re: [gentoo-dev] Adding Ada support Date: Sat, 09 Dec 2023 15:12:01 +0000 Organization: Gentoo In-reply-to: <2a700166-f01a-4807-bd76-7b0cce72af0b@archeia.com> Message-ID: <87msujtnkq.fsf@gentoo.org> Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply MIME-Version: 1.0 Content-Type: text/plain X-Archives-Salt: 272279b6-2afc-47d4-87c2-40212e8cb67f X-Archives-Hash: 735837139489763fa2cb7ec6924b2ac9 "Luke A. Guest" writes: > Hi, > > Can we add the following patch to the toolchain.eclass? I want to stop > having to mess with this overlay. The diff can be generated by > grabbing the repo https://github.com/Lucretia/ada-overlay and running > ./scripts/diff_eclass.sh. It'd be useful to send the whole lot with `git send-email` as proper patches which could be `git am`'d. > > The only thing I'm not sure about is the BDEPEND stuff. It looks OK from a glance. > > The reason for doing this is because gnat-gpl is dead, more info can > be found here https://www.adacore.com/community. > > The > https://github.com/Lucretia/ada-overlay/tree/master/dev-lang/ada-bootstrap > ebuilds provide bootstrap compilers, the archives are hosted on > dropbox, from 9.5.0 -> 14. > What is going to be a problem is using these. We'll need to build our own. > The scripts/build-bootstrap.sh script will build a bootstrap for a > particular version based on an env var. > But if this works, I guess that's fine. It would be nice if there were some we could use from elsewhere somewhat-official that other distros are using, but if they don't exist, I guess we have to live with it. We need to do the same for D. > As for anything in dev-ada/* well, the ada guy would need to work on > that really, I'm not really experienced enough to handle it properly. > Kind of curious as to your interest in Ada if you're not experienced enough - not intended derogatorily, just know you've been interested in Ada for a while so I wonder if dev-ada/* is somehow that different or what.. I also wouldn't want to merge something if it's then going to conflict with anything in dev-ada/*, so at least some coordination is required. (To that end, cc'd toolchain@ and ada@.) > Given GCC is masked up to :10 now, the gnat gpr tools / libs might be > easier to get going with single versions covering numerous toolchain > versions. > > Alire would need to be added at some point, http://alire.ada.dev/ to > provide an easier way to get packages going. > > I originally envisioned gnatmake, gprbuild eclasses to cover building > simple projects with one entry point (gnatmake) and projects > (gprbuild). I think an alire based eclass would need to be added as > well. > > Thanks, > Luke. > > [2. text/x-patch; gentoo-diff.patch]...