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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1ea992d578e9f621
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!i29g2000prf.googlegroups.com!not-for-mail
From: Lucretia <lucretia9@lycos.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Restricted or no run time in Ada
Date: Wed, 2 Jan 2008 23:30:49 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <a6414985-d7da-4cc8-ad03-4db6b5d51214@i29g2000prf.googlegroups.com>
References: <dcc6d7b5-fb5b-4096-a066-85f6168a094d@l1g2000hsa.googlegroups.com>
	<VNSej.364255$kj1.184664@bgtnsc04-news.ops.worldnet.att.net>
	<m2odc3g93a.fsf@mac.com>
 <34698c96-9a0d-4b4c-97d5-427ca3063ac8@t1g2000pra.googlegroups.com>
	<bd291c9a-e51c-4efc-8de3-57174569904b@i12g2000prf.googlegroups.com>
NNTP-Posting-Host: 90.201.91.10
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1199345449 18928 127.0.0.1 (3 Jan 2008 07:30:49
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 3 Jan 2008 07:30:49 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: i29g2000prf.googlegroups.com; posting-host=90.201.91.10;
	posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.10)
	Gecko/20061201 Firefox/2.0.0.10 (Ubuntu-feisty),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:19166
Date: 2008-01-02T23:30:49-08:00
List-Id: <comp.lang.ada>

On Jan 3, 5:14 am, roderick.chap...@googlemail.com wrote:
> I have GNAT Pro 6.0.2 here.  To get at the Zero Footprint
> Profile, the documenation says:
>
> 1) Compile, bind and link with --RTS=zfp

Is this a precompiled cut down version or does it do something
specific? If this is a precompiled version, this isn't available in
the free versions.

> 2) You also need -nostdlib for the linker.

I have actually managed to get somewhere using ZFP by copying over
system.ads and modifying it by hand (I originally tried this before
and came up with errors I didn't understand). I can now use i386-elf-
gcc to compile the source and i386-elf-gnatbind to bind the app (with
the -n parameter). I then link with i386-elf-ld and my startup calls
the adainit procedure.

Thing is, I don't actually need the adafinal procedure but I can't see
a way to not generate that, yet.

> You should also really try to get a copy of the
> "GNAT Pro User's Guide Supplement for
> High-Integrity Edition Platforms" from AdaCore.
>
> This is available to GNAT Pro customers, but I don't
> think it's included in the GNAT GPL release.

Yeah, it's not.

> Perhaps a polite request to AdaCore might yield results.
>  - Rod Chapman, Praxis

Thanks,
Luke.