Re: Restricted or no run time in Ada

[Lucretia <lucretia9@lycos.co.uk>]

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.