Re: fyi, GNAT and SPARK GPL 2016 are out

[Simon Wright <simon@pushface.org>]

gautier_niouzes@hotmail.com writes:

> Le dimanche 5 juin 2016 10:00:45 UTC+2, ahlan.m...@gmail.com a écrit :
>
>> Regarding licensing...
>> How can you find out under which license an executable was produced?
>> Is there a tool you can run on the executable or what?
>
> Yes, Notepad for instance. Open the executable and search for "GNAT
> Version"...
>
> Now, from within the Ada program you can also get it: have a look at
> package GNAT.Compiler_Version

or on a Unix box
   $ strings {executable} | grep -i 'gnat version'

If this comes up with something like "GNAT Version: 6.1.0" there is a
pretty good chance that the executable was built against an RTS with the
GCC Runtime Library Exception.

But if it comes up with something like "GNAT Version: GPL 2016
(20160515-49)" then there still exists the remote possibility that the
RTS that was used did have the GCC Runtime Library Exception.

That would depend on someone investing quite a bit of patience in
getting the RTS to build and then checking it - hence, "remote".

If you're building for an embedded target, it's extremely unlikely you'd
find "GNAT Version" in the executable.