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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: Victor Porton <porton@narod.ru>
Newsgroups: comp.lang.ada
Subject: How to check syntax with GNAT?
Followup-To: comp.lang.ada
Date: Sun, 09 Jul 2017 09:54:43 +0300
Organization: Aioe.org NNTP Server
Message-ID: <ojsjvj$acp$1@gioia.aioe.org>
NNTP-Posting-Host: UZPBofpaGWLolaA02L4QDw.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7Bit
X-Complaints-To: abuse@aioe.org
User-Agent: KNode/4.14.10
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:47331
Date: 2017-07-09T09:54:43+03:00
List-Id: <comp.lang.ada>

>From https://github.com/vporton/redland-bindings/blob/ada2012/ada/librdf.gpr

   package Builder is
      case Debug_Mode is
          when "check" =>
             for Default_Switches ("Ada") use ("-gnatc");
          when others =>
             null;
      end case;
   end Builder;

But when I run `make my-check`, I get:

$ make my-check 
gnatmake -p -Plibrdf.gpr \
                 -XLIBRARY_KIND=static -XOBJ_DIR=./obj-static -
Xsoversion=librdf-ada.so.2.0.14 -XMODE=Install -XDEBUG_MODE=check
gnatgcc -c -gnatc -gnat2012 -gnatc rdf-raptor-bnode.adb
...
gprlib rdf-ada.lexch
ar cr /home/porton/Projects/redland-bindings/ada/lib/librdf-ada.a 
/home/porton/Projects/redland-bindings/ada/obj-static/rdf-raptor-bnode.o 
/home/porton/Projects/redland-bindings/ada/obj-static/rdf-raptor-iostream.o 
...
/usr//bin/ar: /home/porton/Projects/redland-bindings/ada/obj-static/rdf-
raptor-bnode.o: No such file or directory
gprlib: call to archive builder /usr//bin/ar failed
gprbuild: could not build library for project librdf
gnatmake: objects up to date.

Why does it attempt to build object files and the library despite of -gnatc 
switch and how to make it not to attempt build object files?

I want to make it just test the syntax.

-- 
Victor Porton - http://portonvictor.org