From: Fernando Oleo Blanco <irvise_ml@irvise.xyz>
Subject: Re: GCC updated in NetBSD!
Date: Thu, 23 Dec 2021 17:37:56 +0100 [thread overview]
Message-ID: <20211223173756.74d98412@irvise.xyz> (raw)
In-Reply-To: eb280f46-5c71-4b6e-b887-ce62f0db4e7an@googlegroups.com
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"
next prev parent reply other threads:[~2021-12-23 16:37 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-10-19 21:47 GCC updated in NetBSD! Fernando Oleo Blanco
2021-10-20 5:01 ` Richard Iswara
2021-10-20 6:43 ` Emmanuel Briot
2021-10-20 18:44 ` Fernando Oleo Blanco
2021-10-20 13:01 ` Simon Wright
2021-10-20 14:16 ` Fernando Oleo Blanco
2021-10-20 20:57 ` Simon Wright
2021-10-21 6:04 ` Randy Brukardt
2021-10-21 8:14 ` Simon Wright
2021-10-22 10:16 ` Simon Wright
2021-10-21 12:47 ` Fernando Oleo Blanco
2021-10-24 21:08 ` Simon Wright
2021-10-30 16:06 ` Fernando Oleo Blanco
2021-10-30 17:38 ` Simon Wright
2021-11-02 20:32 ` Fernando Oleo Blanco
2021-11-06 17:32 ` Fernando Oleo Blanco
2021-11-06 21:02 ` Simon Wright
2021-11-07 8:22 ` Fernando Oleo Blanco
2021-12-23 11:52 ` Fernando Oleo Blanco
2021-12-23 13:15 ` Kevin Chadwick
2021-12-23 16:37 ` Fernando Oleo Blanco [this message]
2022-02-10 19:21 ` Fernando Oleo Blanco
2022-03-14 21:21 ` Fernando Oleo Blanco
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox