From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,95dad97c56f9de95
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-09-25 07:14:49 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!nntp.abs.net!cpk-news-hub1.bbnplanet.com!news.gtei.net!news-FFM2.ecrc.net!news.iks-jena.de!lutz
From: lutz@iks-jena.de (Lutz Donnerhacke)
Newsgroups: comp.lang.ada
Subject: Re: Curiousity: pragma No_Run_Time for Gnat
Date: Tue, 25 Sep 2001 14:14:47 +0000 (UTC)
Organization: IKS GmbH Jena
Message-ID: <slrn9r14aj.i8.lutz@taranis.iks-jena.de>
References: <9oo006$fdf$1@nh.pace.co.uk> <9oo7ne$145d$1@ns.felk.cvut.cz>
 <9ooa2p$j91$1@nh.pace.co.uk> <9opbv7$1vg1$1@ns.felk.cvut.cz>
 <9oq2mf$9as$1@nh.pace.co.uk>
NNTP-Posting-Host: taranis.iks-jena.de
X-Trace: branwen.iks-jena.de 1001427287 6302 217.17.192.37 (25 Sep 2001
 14:14:47 GMT)
X-Complaints-To: usenet@iks-jena.de
NNTP-Posting-Date: Tue, 25 Sep 2001 14:14:47 +0000 (UTC)
User-Agent: slrn/0.9.6.3 (Linux)
Xref: archiver1.google.com comp.lang.ada:13329
Date: 2001-09-25T14:14:47+00:00
List-Id: <comp.lang.ada>

* 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.