From: Fedja Beader <fedja@protonmail.ch>
Subject: Re: GNAT Community 2019 is here!
Date: Mon, 10 Jun 2019 00:13:21 +0200
Date: 2019-06-10T00:13:21+02:00 [thread overview]
Message-ID: <20190610001321.797d1e2a@blackbox.int> (raw)
In-Reply-To: f8ec209e-4d73-4212-9dad-a83ff062a77c@googlegroups.com
This is not new, my GNAT Community 2018 install is also not recognizing
the -gnat05 flag. But the band-aid is often a simple change to -gnat12
or omitting the flag altogether.
- Fedja
prev parent reply other threads:[~2019-06-09 22:13 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-06-05 13:15 GNAT Community 2019 is here! Nasser M. Abbasi
2019-06-09 17:43 ` Charly
2019-06-09 19:33 ` Simon Wright
2019-06-09 19:39 ` Dmitry A. Kazakov
2019-06-09 20:24 ` gautier_niouzes
2019-07-29 0:05 ` Norman Worth
2019-06-09 22:13 ` Fedja Beader [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox