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!ksimnjfcnEdf6ov8VtC0nA.user.46.165.242.75.POSTED!not-for-mail
From: Fernando Oleo Blanco <irvise_ml@irvise.xyz>
Newsgroups: comp.lang.ada
Subject: Re: GCC updated in NetBSD!
Date: Thu, 23 Dec 2021 17:37:56 +0100
Organization: Aioe.org NNTP Server
Message-ID: <20211223173756.74d98412@irvise.xyz>
References: <sknedo$tm1$1@gioia.aioe.org>
	<lyzgr3h0t2.fsf@pushface.org>
	<lywnm29lmv.fsf@pushface.org>
	<sljqi3$1oiu$1@gioia.aioe.org>
	<lyr1c25s6o.fsf@pushface.org>
	<sls79o$1c9k$1@gioia.aioe.org>
	<20211106183219.38ba5dd2@linux.fritz.box>
	<lybl2xxaiv.fsf@pushface.org>
	<20211107092221.263a0791@linux.fritz.box>
	<sq1nub$u89$1@gioia.aioe.org>
	<eb280f46-5c71-4b6e-b887-ce62f0db4e7an@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="1676"; posting-host="ksimnjfcnEdf6ov8VtC0nA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
X-Newsreader: Claws Mail 4.0.0 (GTK+ 3.24.30; x86_64-suse-linux-gnu)
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader02.eternal-september.org comp.lang.ada:63259
List-Id: <comp.lang.ada>

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"