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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: invalid <address@is.invalid>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Sun, 22 Apr 2018 17:48:19 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <slrnpdpin4.ntv.address@is.invalid>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
 <dbcb51b9-8ab9-4d39-bb70-47fdb15ebfd8@googlegroups.com>
 <pb7eii$bf1$1@dont-email.me> <slrnpdf8u7.43k.address@is.invalid>
 <lyin8ojl8u.fsf@pushface.org>
NNTP-Posting-Host: 52iKuiSUpRLaAD3LrS+iGw.user.gioia.aioe.org
X-Complaints-To: abuse@aioe.org
User-Agent: slrn/1.0.2 (Linux)
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:51670
Date: 2018-04-22T17:48:19+00:00
List-Id: <comp.lang.ada>

On 2018-04-18, Simon Wright <simon@pushface.org> wrote:
> invalid <address@is.invalid> writes:
>
>> And it's all based on Robert Dewar's work that was paid for by
>> U.S. grants funded by American Tax Dollars. The guy was a genius in
>> more ways than one.
>>
>> This situation is not just bad, it's offensive.
>
> Pretty sure that GCC was chosen for entirely practical reasons (who in
> government would want to pay to re-write multiple code generators from
> scratch?) which meant GPL.

Not sure why you brought gcc into the discussion, and at one time I knew
more about the history of gnat than I can remember now. I must have blocked
it out. As you remember gnat 3.15p was not GPL and still had the full
runtime exemption. Whether Adacore is GPL or not (and it is somehow not for
the companies that buy *cough* support for it *cough*) is not related to
using gcc.