comp.lang.ada
 help / color / mirror / Atom feed
From: JCS <SANS.SPAM@MERCI.FR>
Subject: Re: GNAT and no runtime
Date: Wed, 26 May 2004 14:17:01 +0200
Date: 2004-05-26T14:17:13+02:00	[thread overview]
Message-ID: <pan.2004.05.26.12.16.55.569427@hejmreto.net> (raw)
In-Reply-To: 46b8b50a.0405252346.5eefc74f@posting.google.com

On Wed, 26 May 2004 00:46:26 -0700, Rolf Ebert wrote:
> Start slowly putting more and more things to your runtime.  You almost
> certainly already have system.ads and some dummy (i.e. empty)
> libgnat.a.
Well, not exactly, I still use the predefined specs, and do not link with
any form of library (I don't use gnatlink, but directly ld instead)

> That is needed even in the case of No_Runtime.   You can easily add
> things like a-uncconv, s-stoele, interface, s-maccod.  They all just
> need to be present at compile time, but aren't needed at link time (OK,
> the .ali's are, not the .o).
I see, you suggest that I implement a minimal subset of libgnat. I was not
planning to do that so soon. I though it wouldn't be necessary for the
kernel itself. But it seems that I was wrong. Hope it won't be too hard...
I've already looked a bit in the GNAT sources, but to be honnest I was a
bit lost, the link you gave will probably be very helpful. Thanks.

> 
> Replace the pragma restriction (No_Runtime) in gnat.adc by all the
> detailed restrictions that you can find.  Then remove the restriction
> that you don't want to enforce anymore and see what runtime support is
> needed and add it to your project.
Yes, this is exactly what I've done, except that I still use pragma
No_Runtime, just to be sure of what I'm enabling when I delete a
restriction.

Many thanks Rolf,
JC



  reply	other threads:[~2004-05-26 12:17 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-05-25 20:57 GNAT and no runtime JCS
2004-05-26  7:46 ` Rolf Ebert
2004-05-26 12:17   ` JCS [this message]
2004-05-28 15:13   ` JCS
2004-05-26 10:52 ` Wojtek Narczynski
2004-05-26 12:33   ` JCS
2004-05-26 16:05     ` Martin Krischik
2004-05-27  9:40       ` Wojtek Narczynski
2004-05-28 20:42       ` Wojtek Narczynski
2004-06-08  5:43         ` Martin Krischik
2004-06-09  5:07           ` Simon Wright
2004-06-09  6:22             ` Martin Krischik
2004-06-09  7:20               ` Martin Dowie
2004-06-09  7:52                 ` Martin Krischik
2004-06-09  9:26                   ` Martin Dowie
2004-06-09 11:50                     ` Martin Krischik
2004-06-10  5:15                       ` Simon Wright
2004-06-09 16:33             ` Robert I. Eachus
2004-05-27 10:23     ` Wojtek Narczynski
2004-05-27 12:45       ` JCS
2004-05-26 19:51   ` Georg Bauhaus
2004-05-27  9:43     ` Wojtek Narczynski
2004-05-26 16:44 ` sk
2004-05-26 17:42   ` JCS
2004-05-26 21:33     ` sk
2004-05-26 23:12       ` JCS
2004-05-27 13:58         ` sk
2004-05-27 21:30           ` JCS
2004-05-27 22:42             ` sk
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox