From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: GNAT and register allocation
Date: Sun, 22 Apr 2012 19:39:04 +0200
Date: 2012-04-22T19:39:04+02:00 [thread overview]
Message-ID: <87aa23d5tz.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: 4f94352f$0$6625$9b4e6d93@newsspool2.arcor-online.net
Georg Bauhaus wrote:
>>> I must use one set of options for an entire program in this case.
> This requirement is likely a fact (external) that we can't change.
But aren't you adhering to the requirement, if you execute "gnatmake -P
some_project_file" to build the entire program? Or is it mandated that
each child process of "gnatmake" should have the same build options?
Do you know (and are you free to tell us) the rationale for the
requirement?
Greetings,
Jacob
--
recursive, adj.; see recursive
next prev parent reply other threads:[~2012-04-22 17:39 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-04-20 10:21 GNAT and register allocation Georg Bauhaus
2012-04-20 11:17 ` Georg Bauhaus
2012-04-20 13:48 ` Markus Schöpflin
2012-04-20 15:34 ` Georg Bauhaus
2012-04-21 12:10 ` Stephen Leake
2012-04-22 16:43 ` Georg Bauhaus
2012-04-22 17:39 ` Jacob Sparre Andersen [this message]
2012-04-22 21:14 ` Georg Bauhaus
2012-04-24 12:24 ` Stephen Leake
2012-04-24 13:27 ` Georg Bauhaus
2012-04-24 18:40 ` "gnatchop" and ".gpr" files? (Was: GNAT and register allocation) Jacob Sparre Andersen
2012-04-25 11:51 ` GNAT and register allocation Stephen Leake
2012-04-25 12:54 ` Georg Bauhaus
2012-04-26 10:55 ` Stephen Leake
2012-04-26 17:15 ` Georg Bauhaus
2012-04-24 12:21 ` Stephen Leake
2012-04-22 17:30 ` Georg Bauhaus
2012-04-21 15:41 ` Florian Weimer
2012-04-22 16:53 ` Georg Bauhaus
2012-04-22 20:53 ` gautier_niouzes
2012-04-22 21:24 ` Georg Bauhaus
2012-04-23 8:43 ` gautier_niouzes
2012-04-23 16:46 ` Georg Bauhaus
2012-04-23 9:11 ` gautier_niouzes
2012-04-23 16:47 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox