Re: How to configure GNAT GPL on x86-64 Linux for ARM ELF development

[Simon Wright <simon@pushface.org>]

Adam Jensen <hanzer@riseup.net> writes:

> $ arm-eabi-gcc -c -mcpu=cortex-m4 -mthumb program.adb
> fatal error, run-time library not installed correctly
> cannot locate file system.ads
> compilation abandoned

> Any advice on how to proceed would be very much appreciated! 

I think that the reason why the tutorial works and your attempt doesn't
is that the tutorial was developed on a Raspberry Pi, which is already
an ARM-based machine, so the native compiler actually has a runtime
(i.e. system.ads etc etc) visible to it.

Yours doesn't, and gcc-for-ada must see an RTS.

I managed to get a compilation using this over-the-top incantation:

   $ gprbuild -c -u -f program.adb --target=arm-eabi --RTS=zfp-stm32f4

but a simpler (more memorable!) procedure might be to construct your own:

1. Create directories adainclude/, adalib/

2. Copy $prefix/arm-eabi/lib/gnat/zfp-stm32f4/gnat/system.ads to your
   adainclude/ ($prefix is the root of your compiler installation, I
   think ~/.local/gnat-arm)

The zfp- (zero footprint) runtime is the closest to what you need, and
the fact that the -stm32f4 part isn't quite right shouldn't matter; I
suspect that system.ads is the same for all the zfp runtimes.

Now,

   $ arm-eabi-gcc --RTS=. -c program.adb