From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.1 required=3.0 tests=BAYES_00,FROM_SUSPICIOUS_NTLD, FROM_SUSPICIOUS_NTLD_FP autolearn=no autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!V87pCpTcX/HIDuj6rWjtPQ.user.46.165.242.75.POSTED!not-for-mail From: Fernando Oleo Blanco Newsgroups: comp.lang.ada Subject: Re: GCC updated in NetBSD! Date: Thu, 10 Feb 2022 20:21:53 +0100 Organization: Aioe.org NNTP Server Message-ID: <20220210202153.1bfa66d1@linux.fritz.box> References: <20211106183219.38ba5dd2@linux.fritz.box> <20211107092221.263a0791@linux.fritz.box> <20211223173756.74d98412@irvise.xyz> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Injection-Info: gioia.aioe.org; logging-data="45673"; posting-host="V87pCpTcX/HIDuj6rWjtPQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; X-Newsreader: Claws Mail 4.0.0 (GTK+ 3.24.31; x86_64-suse-linux-gnu) X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader02.eternal-september.org comp.lang.ada:63486 List-Id: One last update on GCC 10 on NetBSD. As I have already said in other messages, it works great. The package is still under wip since no maintainer has stepped up to take care of the review. I also have not pushed it further. I would recommend the use of Ravenports, since it has GCC 11, which is newer and works on FreeBSD too. I have given up on trying to port it to other arches. It should be as simple as adding them to the Makefile.rtl. There is a minor bug on my patchset, the x86 intrinsics are also present on the arm sections, I need to delete that. The reason for giving up on supporting other arches is mostly due to NetBSD not upstreaming support for those arches. For example, the official binutils does not have support for aarch64-netbsd. It is only present in NetBSD's src. And it only works on when used within NetBSD's src. This makes everything more complex than needed and I do not have the will to push through with it. Regarding the use of other Ada tools in NetBSD. I added support for grpbuild a few months ago, so you should be able to just use it. Notice, when using GCC 10 only V21 of AdaCore tools work. Newer versions (currently v22) need GCC 11. The rest of the tools seem to compile without much fuzz at all. So I say that my work is mostly complete. I will try to get gcc10-aux pushed to stable however; sometime after March. For now, I will try to update the Ada changelog in GCC and write an article about Ada-Scheme for the AUJ. Best regards, Fer Am Thu, 23 Dec 2021 17:37:56 +0100 schrieb Fernando Oleo Blanco : > I do not have GCC 11 on NetBSD, which is required for SPARKNaCl. > However, I expect to spend some time with Ravenports, which does > support GCC 11 on NetBSD. So I hope to try it out soon. > > Regarding ACATS on OBSD; the results seem to be good. Yes, there are > some failures, but I would expect some of those to come from > limitations of GCC 11. Afaik/seen, OpenBSD has outstanding support for > Ada in ports. > > Regards, > Fer > > Am Thu, 23 Dec 2021 05:15:42 -0800 (PST) > schrieb Kevin Chadwick : > > > Merry Xmas > > We found a potential compiler bug when running make in the tests > > directory of this package on OpenBSD. Does it work on NetBSD out of > > interest? > > > > "https://github.com/rod-chapman/SPARKNaCl" > > > > This is the ACATs results for OpenBSD > > > > "https://github.com/kevlar700/OpenBSD_GNAT_11_ACATS/blob/main/acats.sum" > >