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: DragonEgg has been revived Date: Wed, 23 May 2018 08:26:46 +0100 Organization: A noiseless patient Spider Message-ID: References: <5c2523c1-9ea5-453c-b80e-9cb0dcd16de0@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: h2725194.stratoserver.net; posting-host="c4c7d705a3e848ab8e63cccb6944655a"; logging-data="31720"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/VGBJBCFUSvwSD/acsogqKembYcDnz834=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin) Cancel-Lock: sha1:cBtcXVVFYmvGUJl0V1ryo6WM/MI= sha1:I9/sypYPgzHvnAI4nmWC+7nk7rQ= Xref: reader02.eternal-september.org comp.lang.ada:52611 Date: 2018-05-23T08:26:46+01:00 List-Id: Simon Clubley writes: > What I would like to see is an Ada compiler that can generate code for > a wide range of targets without any GPL restrictions on the generated > code. Pretty sure that's called GCC. People are perfectly happy to use GCC for C-based commercial projects in spite of the fact that libgcc, and GNU libstdc++, if you're that way inclined, have *exactly* the same runtime exception as FSF GNAT's RTS and the GNAT Pro RTS. The formal position is that the GCC compiler itself doesn't assert any licensing restrictions over target code generated by it beyond that derived from the original source code. I can see that people, especially commercial lawyers, might be confused about this, especially if they read all the hot air that's been blasting over this newsgroup lately. It's a good thing that that's unlikely. Seems to me that one could in theory get over the licensing issue by writing an independent BSD-licensed RTS. Not that this is a small task; deliberately omitting finalization, exception propagation, full tasking, and multiprocessors would make it just about feasible for a small team, I think. But I may be seeing through rose-tinted specs because of having based Cortex GNAT RTS on FSF GCC.