From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: fyi, GNAT and SPARK GPL 2016 are out
Date: Sun, 05 Jun 2016 11:02:17 +0100
Organization: A noiseless patient Spider
Message-ID: <ly7fe4oswm.fsf@pushface.org>
References: <nimo81$kjj$2@gioia.aioe.org>
	<60e38494-eba2-46f2-b064-929c4ead9fe1@googlegroups.com>
	<lyd1nyrbd3.fsf@pushface.org>
	<b3583172-8566-4a09-b03a-a15c2600f4b1@googlegroups.com>
	<1d1406a1-c942-4258-9e7b-8c886018d6e4@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: mx02.eternal-september.org;
 posting-host="fa27e9c62dd412c1b6adffaac11b940a";
	logging-data="8796"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19gzsaBUeUBwh18SP9UN0j0yhg0Vl8qXqg="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin)
Cancel-Lock: sha1:D4T2TGIIu0UcotYM5pyhBpC/jpE=
	sha1:s1YxU+mqfCVR/Nvw1uX8QsfjOHw=
Xref: news.eternal-september.org comp.lang.ada:30616
Date: 2016-06-05T11:02:17+01:00
List-Id: <comp.lang.ada>

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.