From: Alain De Vos <devosalain71@gmail.com>
Subject: Re: how to be informed where to put spaces
Date: Sat, 9 Nov 2019 11:35:55 -0800 (PST)
Date: 2019-11-09T11:35:55-08:00 [thread overview]
Message-ID: <cc631243-6c6b-4721-a2d2-7d6e51148e5c@googlegroups.com> (raw)
In-Reply-To: <915d1eda-e6fb-4eb5-a11a-6e097d4bf846@googlegroups.com>
On Saturday, November 9, 2019 at 8:25:40 PM UTC+1, gautier...@hotmail.com wrote:
> If you type gnatmake without parameters, you get a long list of options, among them:
>
> -gnatyxx Enable selected style checks xx = list of parameters:
>
> among those:
> c check comment format (two spaces)
> C check comment format (one space)
Indeed,
-gnateu Ignore unrecognized style/validity/warning switches
-gnateY Ignore all Style_Checks pragmas in source
-gnaty Enable default style checks (same as -gnaty3abcefhiklmnprst)
-gnatyxx Enable selected style checks xx = list of parameters:
g check standard GNAT style rules, same as ydISux
y turn on default style checks
-gnatyN Cancel all previously set style checks
next prev parent reply other threads:[~2019-11-09 19:35 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-09 19:08 how to be informed where to put spaces Alain De Vos
2019-11-09 19:25 ` gautier_niouzes
2019-11-09 19:35 ` Alain De Vos [this message]
2019-11-09 19:54 ` 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