From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!aioe.org!r15/o0OVf8wTmnh7oa7ENQ.user.46.165.242.75.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: License for small Ada.* complements
Date: Mon, 25 Jul 2022 18:21:25 +0100
Organization: Aioe.org NNTP Server
Message-ID: <ly7d41kt0q.fsf@pushface.org>
References: <62d88fa8$0$18729$426a34cc@news.free.fr>
	<86sfmsi7ir.fsf@stephe-leake.org>
	<62dbe7d5$0$2985$426a74cc@news.free.fr>
	<86mtcyu1c6.fsf@stephe-leake.org>
	<62dd5529$0$18752$426a74cc@news.free.fr>
	<86h7361dpf.fsf@stephe-leake.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: gioia.aioe.org; logging-data="59463"; posting-host="r15/o0OVf8wTmnh7oa7ENQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:Id8eKzPjMBmwgev+rqCvG2SWph8=
Xref: reader01.eternal-september.org comp.lang.ada:64138
List-Id: <comp.lang.ada>

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