From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on ip-172-31-74-118.ec2.internal 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!feeder.eternal-september.org!aioe.org!.POSTED.IIfIc3CB/+nKo+wKq8+a0g.user.gioia.aioe.org!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Ada on Apple's new procesors Date: Wed, 24 Jun 2020 20:18:08 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <4d9fa282-830d-42f7-a3bf-ba127cb2ad06o@googlegroups.com> <8332f305-299f-45d7-9f9d-2cad924b24d8o@googlegroups.com> NNTP-Posting-Host: IIfIc3CB/+nKo+wKq8+a0g.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain X-Complaints-To: abuse@aioe.org User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (darwin) X-Notice: Filtered by postfilter v. 0.9.2 Cancel-Lock: sha1:ECQPgJ6zoiUTB+szdb6qcxmlLDM= Xref: reader01.eternal-september.org comp.lang.ada:59208 List-Id: Optikos writes: > Without paying a hefty proprietary-licensing fee to AdaCore, isn't > GNAT-LLVM distributed only under pure GPLv3 without the Runtime > Library Exception (RLE)? Wouldn't that mean that GNAT-LLVM on MacOS > (and iOS) can be utilized by software distributed under GPL-compatible > licenses, lest that software violate terms of GPLv3? GCC itself is distributed under pure GPLv3, and the RLE[1] is irrelevant to that distribution. The gnat you are straining at is whether a compiler formed by merging GNAT-LLVM with GCC can be used in an "eligible compilation process". If so, the RLE will apply: "You have permission to propagate a work of Target Code formed by combining the Runtime Library with Independent Modules, even if such propagation would otherwise violate the terms of GPLv3, provided that all Target Code was generated by Eligible Compilation Processes. You may then convey such a combination under terms of your choice, consistent with the licensing of the Independent Modules." A "compilation process" "transforms code entirely represented in non-intermediate languages designed for human-written code, and/or in Java Virtual Machine byte code, into Target Code." A compilation process is "eligible" "if it is done using GCC, alone or with other GPL-compatible software, or if it is done without using any work based on GCC. For example, using non-GPL-compatible Software to optimize any GCC intermediate representations would not qualify as an Eligible Compilation Process." But! (a) if you look at the LLVM license[2], you will see at the top that it's the Apache License v2.0 (with some irrelevant extensions); (b) in [3] & [4], the Apache License v2.0 is listed as GPLv3-compatible. So! what's the problem? GNAT-LLVM clearly provides an eligible compilation process. [1] https://www.gnu.org/licenses/gcc-exception-3.1.en.html [2] https://releases.llvm.org/10.0.0/LICENSE.TXT [3] http://gplv3.fsf.org/wiki/index.php/Compatible_licenses#GPLv3-compatible_licenses [4] https://www.gnu.org/licenses/license-list.en.html#GPLCompatibleLicenses