comp.lang.ada
 help / color / mirror / Atom feed
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"


  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