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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:ac8:6944:: with SMTP id n4mr18554447qtr.360.1573327539427;
        Sat, 09 Nov 2019 11:25:39 -0800 (PST)
X-Received: by 2002:a05:6830:150b:: with SMTP id
 k11mr8393646otp.178.1573327539196;
 Sat, 09 Nov 2019 11:25:39 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!j16no4500662qtl.0!news-out.google.com!g53ni10qtg.0!nntp.google.com!j16no4500658qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 9 Nov 2019 11:25:38 -0800 (PST)
In-Reply-To: <deafc9e4-8608-4c65-b9ea-c9313d721072@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a02:1206:4568:4610:3df9:e8d7:d5b2:4755;
 posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1206:4568:4610:3df9:e8d7:d5b2:4755
References: <deafc9e4-8608-4c65-b9ea-c9313d721072@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <915d1eda-e6fb-4eb5-a11a-6e097d4bf846@googlegroups.com>
Subject: Re: how to be informed where to put spaces
From: gautier_niouzes@hotmail.com
Injection-Date: Sat, 09 Nov 2019 19:25:39 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:57534
Date: 2019-11-09T11:25:38-08:00
List-Id: <comp.lang.ada>

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)