Re: GNAT on Raspberry Pi?

[mockturtle <framefritti@gmail.com>]

On Friday, October 20, 2017 at 12:57:55 PM UTC+2, Simon Wright wrote:
> mockturtle <framefritti@gmail.com> writes:
> 
> > Anyway, I wrote to AdaCore anyway since it is strange that the package
> > for ARM contains 80386 executables (is maybe something escaping me?).
> 
> The clue is in the "Select your platform" list on the download page:
> "ARM ELF format (hosted on Linux)" - or "on Windows". This is a
> cross-compiler, run on a host x86 computer (Windows or Linux) which
> produces executables to run on an ARM ELF target computer.
> 
> What I don't know is whether the executables run on a bare metal target
> (which might happen to be a Pi board) or whether they run on a Pi which
> is running Linux. I strongly suspect the former, especially because the
> "Select your platform" entry for "Raspberry Pi 2 Linux (32 bits) (hosted
> on Linux)" is greyed out! (it was available in GNAT GPL 2016).

Ahhh... I saw the light...

Now it is clear!  Instead I believed that it was a compiler *running* on ARM.  The meaning of "hosted on Linux" it was not entirely clear to me, but I ignored it...