From: Simon Wright <simon@pushface.org>
Subject: Re: ANN: GCC 11.1.0 for macOS
Date: Mon, 03 May 2021 12:14:11 +0100 [thread overview]
Message-ID: <lypmy8ysqk.fsf@pushface.org> (raw)
In-Reply-To: s6oc9i$mtj$1@dont-email.me
"J-P. Rosen" <rosen@adalog.fr> writes:
> But I guess not gnatcheck, since it needs ASIS.
gnatcheck isn't in any of the recent releases of CE. [1], see the
[Tools] section at the end, says it's not.
The [Tools] section also says ASIS is available as an add-on.
But it says that about GNATtest.
[1] https://www.adacore.com/gnatpro/comparison
next prev parent reply other threads:[~2021-05-03 11:14 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-02 16:28 ANN: GCC 11.1.0 for macOS Simon Wright
2021-05-02 16:54 ` Dmitry A. Kazakov
2021-05-04 17:47 ` Stephen Leake
2021-05-04 20:12 ` Dmitry A. Kazakov
2021-05-03 8:29 ` J-P. Rosen
2021-05-03 10:46 ` Luke A. Guest
2021-05-03 11:50 ` J-P. Rosen
2021-05-03 11:14 ` Simon Wright [this message]
2021-05-03 15:16 ` Bill Findlay
2021-05-03 15:44 ` Simon Wright
2021-05-04 15:20 ` Simon Wright
2021-05-23 7:32 ` Blady
2021-06-10 16:21 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox