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

  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