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!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: How to get Ada to ?cross the chasm?? Date: Wed, 18 Apr 2018 15:12:14 +0100 Organization: A noiseless patient Spider Message-ID: References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="46be1cdbfeaa0eeff4e3663a0ebc87c2"; logging-data="12170"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+LDlpi+Wu/So8ierqeJuimhz34AY7Ewqw=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin) Cancel-Lock: sha1:BAWOFEn5yeA0T+kSPNfn4D31MiA= sha1:6foiMRiQZu+2qCSbOeDLGsw6M0I= Xref: reader02.eternal-september.org comp.lang.ada:51591 Date: 2018-04-18T15:12:14+01:00 List-Id: Simon Clubley writes: > On 2018-04-18, Simon Wright wrote: >> >> I see no reason why an executable built with GNAT GPL but with a >> different RTS (that doesn't have the full GPL) need be distributed >> under the GPL. So, in theory, you might be able to use the RTS from >> FSF GNAT with GNAT GPL (but I wouldn't hold out much hope, the >> interface between the compiler and the RTS is subject to change: the >> last time FSF GCC and GNAT GPL were compatible was FSF GCC 6 and GNAT >> GPL 2016). > > Even if that is true, how many people do you think would go to that > effort instead of just using a language where the compiler authors > don't play such GPL games ? Hardly any. But I was coming from Cortex GNAT RTS[1], where you can use GNAT GPL 2017 to build code using an FSF-derived RTS. [1] https://github.com/simonjwright/cortex-gnat-rts/tree/gnat-gpl-2017