Re: Curiousity: pragma No_Run_Time for Gnat

[lutz@iks-jena.de (Lutz Donnerhacke)]

* Marin David Condic wrote:
>I suppose what I'm wondering is can the use of the No_Run_Time pragma cause
>the Gnat compiler to be suitable as an embedded compiler?

No. That's not the purpose of No_Run_Time. It is used to prevent the
injection of unnecessary compiler generated code (especially code containing
decisions) in order to ease software verification (path coverage tests).

For embedded enviroments, all you have to do is linking against a
approbriate library instead of stdlibc. This is a compiler flag to the linker.

$ cat t.adb
with Ada.Text_IO;
use Ada.Text_IO;

procedure t is
begin
   Put_Line ("Hello world.");
end t;
$ gnatmake t -largs -nostdlib
ld: warning: cannot find entry symbol _start; defaulting to 08048074
.../adalib/libgnat.a(a-except.o): In function ada__exceptions__address_image':
  .../rts/a-except.adb:309: undefined reference to memcpy'
...

Have fun.