Re: GCC updated in NetBSD!

[Fernando Oleo Blanco <irvise_ml@irvise.xyz>]

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 <irvise_ml@irvise.xyz>:

> 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 <kevc3no4@gmail.com>:
> 
> > 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"
> 
>