From: Simon Wright <simon@pushface.org>
Subject: Re: GNAT user-specified (via Raise_Exception) warning message size limit
Date: Fri, 23 Feb 2018 08:56:28 +0000
Date: 2018-02-23T08:56:28+00:00 [thread overview]
Message-ID: <ly1shckrsz.fsf@pushface.org> (raw)
In-Reply-To: 0d193911-cf4b-405d-86d8-d98a22ca203e@googlegroups.com
briot.emmanuel@gmail.com writes:
> As I am sure Simon already knows, but might be useful for others (it
> doesn't solve the problem highlighted by Simon, though):
>
> You can actually use gprbuild to recompile locally the bodies of
> runtime files. You just have to put them in your source directories,
> and change the project file to make sure the file is compiled with
> -gnatg. I have done that quite often for System.Memory
>
> project Default is
> package Compiler is
> for Switches ("s-memory.adb") use ("-gnatg");
> end Compiler;
> end Default;
I don't think I've ever done this - failing to do it would explain why,
even after precompiling s-stratt.adb with -gnatpg (which gnatmake -a
did), gprbuild with the default .gpr wouldn't build.
> This trick however doesn't work for specs, since it doesn't recompile
> all runtime units that depend on them unless they are part of the
> project. You might get away with creating a "runtime.gpr" project
> that uses for source dirs the runtime location, and forces the -gnatg
> switch.
I suppose other runtime units would need recompiling if any part of this
body was inlined.
next prev parent reply other threads:[~2018-02-23 8:56 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-16 18:44 GNAT user-specified (via Raise_Exception) warning message size limit marciant
2018-02-16 18:59 ` Per Sandberg
2018-02-16 19:11 ` marciant
2018-02-16 20:58 ` Anh Vo
2018-02-16 23:22 ` marciant
2018-02-17 7:15 ` J-P. Rosen
2018-02-17 16:38 ` marciant
2018-02-18 22:33 ` Mark Lorenzen
2018-02-18 23:09 ` Simon Wright
2018-02-19 7:24 ` briot.emmanuel
2018-02-19 15:31 ` marciant
2018-02-22 15:08 ` marciant
2018-02-22 19:48 ` marciant
2018-02-22 20:27 ` Simon Wright
2018-02-22 21:43 ` Mark Lorenzen
2018-02-22 22:09 ` marciant
2018-02-23 8:25 ` briot.emmanuel
2018-02-23 8:56 ` Simon Wright [this message]
2018-02-17 0:03 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox