From: Simon Wright <simon@pushface.org>
Subject: Re: gnoga build fails on Mac
Date: Sun, 21 Jun 2020 17:46:57 +0100 [thread overview]
Message-ID: <lya70wgyda.fsf@pushface.org> (raw)
In-Reply-To: rcnqir$uru$1@dont-email.me
"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> writes:
> On 6/21/20 9:57 AM, Roger wrote:
>>
>> First problem with -gnat05 flag which I overcame but probably not
>> the correct way.
What problem? No mention of -gnat05 in the gnoga tree?
> Certainly not the correct way. Gnoga is in Ada 12 and should not be
> compiled with an earlier version of the language. Note the --gnat2012
> switch in settings.gpr to ensure this. The same functionality could be
> implemented in earlier versions of Ada, but if you do that, then we
> can't know if your problems are due to your changes or something else.
>
> Compiling Gnoga with --gnat2012 doesn't necessarily mean that you
> can't compile your code with -gnat05, but again, it makes it harder to
> understand any problems you may encounter.
And you can't use GNAT CE 2020 to compile other than with -gnat2012
(which is the default)
prev parent reply other threads:[~2020-06-21 16:46 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-21 7:57 gnoga build fails on Mac Roger
2020-06-21 8:41 ` Dmitry A. Kazakov
2020-06-21 11:18 ` Roger
2020-06-21 13:28 ` Dmitry A. Kazakov
2020-06-22 3:15 ` Roger
2020-06-22 5:56 ` Dmitry A. Kazakov
2020-06-22 6:14 ` Roger
2020-06-22 11:37 ` Jeffrey R. Carter
2020-06-22 23:25 ` Roger
2020-06-23 11:27 ` Jeffrey R. Carter
2020-06-29 0:55 ` Randy Brukardt
2020-06-29 8:29 ` Jeffrey R. Carter
2020-07-01 1:09 ` Randy Brukardt
2020-07-01 8:52 ` Jeffrey R. Carter
2020-07-03 0:23 ` Randy Brukardt
2020-07-03 9:09 ` Jeffrey R. Carter
2020-07-07 14:41 ` Shark8
2020-07-07 15:37 ` Jeffrey R. Carter
2020-06-21 14:24 ` Jeffrey R. Carter
2020-06-21 16:46 ` Simon Wright [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