comp.lang.ada
 help / color / mirror / Atom feed
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.

  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