Re: [Bug ada/47717] building library for arm-none-eabi causes internal error

[Arnaud Charlet]

> Just so we know, should it be possible to build libgnat.a using a project file
> via gnatmake?

No, project files aren't designed to do that out of the box, libgnat.a is
a special library.

Arno