From: Mark Lorenzen <mark.lorenzen@gmail.com>
Subject: Re: GNAT user-specified (via Raise_Exception) warning message size limit
Date: Thu, 22 Feb 2018 13:43:20 -0800 (PST)
Date: 2018-02-22T13:43:20-08:00 [thread overview]
Message-ID: <19476a87-c3f3-4c7d-8bfd-2b0c83cc16da@googlegroups.com> (raw)
In-Reply-To: <lya7w0lqhb.fsf@pushface.org>
On Thursday, February 22, 2018 at 9:27:31 PM UTC+1, Simon Wright wrote:
>
> However, this cunning wheeze doesn't work with gprbuild.
>
> As I recall, the Pro RTS came with a Makefile and instructions for
> rebuilding the RTS. Perhaps things have changed.
I don't know about the native run-times, but things have changed for bare-board targets.
Now you make a copy of the RTS, 'with' the copied RTS's project file in your own project file and point to the copied RTS using the project attribute Runtime (see http://docs.adacore.com/live/wave/gnat_ugx/html/gnat_ugx/gnat_ugx/specifying_the_run-time_library_and_target.html#selecting-the-run-time-library)
When you modify the copied RTS, it is automatically re-built as part of building your project as any other with'ed project. It's really easy.
Regards,
Mark L
next prev parent reply other threads:[~2018-02-22 21:43 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 [this message]
2018-02-22 22:09 ` marciant
2018-02-23 8:25 ` briot.emmanuel
2018-02-23 8:56 ` Simon Wright
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