From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:ac8:1604:: with SMTP id p4mr18890861qtj.276.1573328155808;
        Sat, 09 Nov 2019 11:35:55 -0800 (PST)
X-Received: by 2002:a9d:baf:: with SMTP id 44mr12625420oth.182.1573328155584;
 Sat, 09 Nov 2019 11:35:55 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.dns-netz.com!news.freedyn.net!newsreader4.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!j16no4526315qtl.0!news-out.google.com!p4ni42qtu.1!nntp.google.com!j16no4526307qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 9 Nov 2019 11:35:55 -0800 (PST)
In-Reply-To: <915d1eda-e6fb-4eb5-a11a-6e097d4bf846@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a02:a03f:e3e9:4d00:1260:4bff:fe89:deb2;
 posting-account=kTRirAoAAACnF_wtAOSamxYBSVvmJuCa
NNTP-Posting-Host: 2a02:a03f:e3e9:4d00:1260:4bff:fe89:deb2
References: <deafc9e4-8608-4c65-b9ea-c9313d721072@googlegroups.com>
 <915d1eda-e6fb-4eb5-a11a-6e097d4bf846@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cc631243-6c6b-4721-a2d2-7d6e51148e5c@googlegroups.com>
Subject: Re: how to be informed where to put spaces
From: Alain De Vos <devosalain71@gmail.com>
Injection-Date: Sat, 09 Nov 2019 19:35:55 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2170
X-Received-Body-CRC: 1560419079
Xref: reader01.eternal-september.org comp.lang.ada:57535
Date: 2019-11-09T11:35:55-08:00
List-Id: <comp.lang.ada>

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