Except that it the GNAT compiler is part of GCC and GPL with the linking exception. Why not use that?

And I don’t get what you mean with “pestering for info”. I’ve once discussed buying their compiler and I was by no means in a F500 (decided against buying btw).