comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: gnat compiler issues with a partial build
Date: Fri, 12 Jun 2015 16:05:33 +0100
Date: 2015-06-12T16:05:33+01:00	[thread overview]
Message-ID: <lyh9qdklvm.fsf@pushface.org> (raw)
In-Reply-To: 64744fbd-3519-4c0a-8e64-60f55ac4912d@googlegroups.com

jan.de.kruyf@gmail.com writes:

> package Builder is
>       Global_Configuration_Pragmas := "gnat.adc";

I think this should be
      for Global_Configuration_Pragmas use "gnat.adc";

see
https://gcc.gnu.org/onlinedocs/gcc-5.1.0/gnat_ugn/Specifying-Configuration-Pragmas.html
and
http://docs.adacore.com/gprbuild-docs/html/share/gnat_project_manager.html#global-attributes

(the second refers to the attribute as
"Builder.Global_Configuration_Pragmas" which I think is misleading,
clearly should be "Builder'Global_Configuration_Pragmas").

>       for Default_Switches ("ada") use
>         ("-g", "-nostdlib",
>          "--RTS=" & Project'project_dir);
>       for Executable ("demo.adb") use "demo.x";
>    end Builder;


  reply	other threads:[~2015-06-12 15:05 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-06-04 11:12 gnat compiler issues with a partial build jan.de.kruyf
2015-06-04 19:03 ` Lucretia
2015-06-09  8:11   ` jan.de.kruyf
2015-06-09 10:21 ` Mark Lorenzen
2015-06-09 11:28   ` jan.de.kruyf
2015-06-09 13:03     ` Mark Lorenzen
2015-06-09 18:57       ` jan.de.kruyf
2015-06-10 10:11         ` Mark Lorenzen
2015-06-10 15:34           ` jan.de.kruyf
2015-06-10 16:59             ` Simon Wright
2015-06-10 17:01               ` Simon Wright
2015-06-10 20:36                 ` jan.de.kruyf
2015-06-11  5:01                   ` Simon Wright
2015-06-11 14:08                     ` jan.de.kruyf
2015-06-11 16:10 ` rrr.eee.27
2015-06-11 19:38   ` Simon Wright
2015-06-12 14:37     ` jan.de.kruyf
2015-06-12 15:05       ` Simon Wright [this message]
2015-06-12 15:12         ` jan.de.kruyf
2015-06-12 15:31   ` jan.de.kruyf
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox