comp.lang.ada
 help / color / mirror / Atom feed
From: "Warren W. Gay VE3WWG" <ve3wwg@NoSpam.cogeco.ca>
Subject: Re: Hello World 217Kb ?
Date: Tue, 07 Dec 2004 09:21:21 -0500
Date: 2004-12-07T09:21:21-05:00	[thread overview]
Message-ID: <F_itd.3111$%S3.189400@read2.cgocable.net> (raw)
In-Reply-To: <41AAD53F.3060408@mailinator.com>

Alex R. Mosteo wrote:
> Freejack wrote:
>> On Tue, 23 Nov 2004 22:31:57 +0100, Adrien Plisson wrote:
...
>>> maybe someone with more experience with GNAT can explain why the C 
>>> runtime is still needed.
>>
>> A runtime environment may or may not be necessary(usually NOT) for either
>> Ada or C. I'm currently working on my own space/speed optimized Ada libs
>> for my own projects. Wanna see just how low I can go. Stripping out the
>> runtime is saving plenty of resources, but it's also making me work a bit
>> harder on not screwing up. So beware. ;->
> 
> The following excerpt from GNAT reference manual can be of interest:
> 
> pragma No_Run_Time
>     Syntax: pragma No_Run_Time;
> 
>     This is a configuration pragma that makes sure the user code does 
> not use nor need anything from the GNAT run time. This is mostly useful 
> in context where code certification is required. Please consult the GNAT 
> Pro High-Integrity Edition User's Guide for additional information.

Just be aware that pragma No_Run_Time comes at a heavy price. You
would have to give up several things, including:

    - The ability to do String & "Some string" & ...
      (this requires a runtime secondary stack)
    - Scalar'Img or  type'Image(type) won't compile.
    - Unconstrained array assignments like:
      declare
         S : String := Some_String_Func(Args);
      begin

This list is incomplete, but I found No_Run_Time so restrictive, that
even for O/S projects, I didn't find this to be very useful!

-- 
Warren W. Gay VE3WWG
http://home.cogeco.ca/~ve3wwg



  reply	other threads:[~2004-12-07 14:21 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-11-23 17:25 Hello World 217Kb ? stephane richard
2004-11-23 17:51 ` Adrien Plisson
2004-11-23 18:14   ` stephane richard
2004-11-23 21:31     ` Adrien Plisson
2004-11-29  1:42       ` Freejack
2004-11-29  7:52         ` Alex R. Mosteo
2004-12-07 14:21           ` Warren W. Gay VE3WWG [this message]
2004-12-07 15:06             ` Adrien Plisson
2004-12-07 23:15               ` Warren W. Gay VE3WWG
2004-12-08  8:12                 ` Adrien Plisson
2004-12-08  8:49                   ` Vinzent 'Gadget' Hoefler
2004-12-09  3:37                     ` David Botton
2004-12-08 11:39                   ` Warren W. Gay VE3WWG
2004-11-23 22:38     ` Pascal Obry
2004-11-24 13:08       ` stephane richard
2004-11-27  2:23       ` Bini
2004-11-27  8:25         ` Pascal Obry
2004-11-29  0:45           ` Bini
2004-11-23 17:54 ` Martin Krischik
2004-11-23 18:01 ` Simon Clubley
2004-11-23 18:56 ` Jeffrey Carter
2004-11-23  7:01   ` Al Christians
2004-11-24 13:07     ` stephane richard
2004-11-23 20:27 ` Georg Bauhaus
2004-11-24  0:33   ` Jeffrey Carter
2004-11-24  2:27     ` Georg Bauhaus
2004-11-23 22:36 ` Pascal Obry
replies disabled

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