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.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:620a:28cc:: with SMTP id l12mr1321169qkp.48.1640265342496;
        Thu, 23 Dec 2021 05:15:42 -0800 (PST)
X-Received: by 2002:a25:7613:: with SMTP id r19mr3297062ybc.498.1640265342354;
 Thu, 23 Dec 2021 05:15:42 -0800 (PST)
Path: eternal-september.org!reader02.eternal-september.org!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 23 Dec 2021 05:15:42 -0800 (PST)
In-Reply-To: <sq1nub$u89$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=92.40.187.96; posting-account=5K6RMgoAAADQeoHIOMi2dg5aYc0IVxGi
NNTP-Posting-Host: 92.40.187.96
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <eb280f46-5c71-4b6e-b887-ce62f0db4e7an@googlegroups.com>
Subject: Re: GCC updated in NetBSD!
From: Kevin Chadwick <kevc3no4@gmail.com>
Injection-Date: Thu, 23 Dec 2021 13:15:42 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:63256
List-Id: <comp.lang.ada>

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"