Re: License for small Ada.* complements

[Simon Wright <simon@pushface.org>]

Stephen Leake <stephen_leake@stephe-leake.org> writes:

>> do you use "pragma License Modified_GPL" or "pragma License GPL" on 
>> libraries?
>
> Modified_GPL allows use in proprietary programs; GPL does not.

Not sure about Modified_GPL: the GNAT RM section[1] gives the strong
impression that it's talking about the old-fashioned GMGPL, but nowadays
people using the GPL ought to be using the GCC Runtime Library
Exception. On the other hand, the actual test GNAT uses to decide the
license a file without the pragma is using (contains the words "As a
special exception") will match either.

SPDX: "GPL-3.0-or-later WITH GCC-exception-3.1"

[1] https://docs.adacore.com/live/wave/gnat_rm/html/gnat_rm/gnat_rm/implementation_defined_pragmas.html#pragma-license