Re: Licensing Paranoia and Manual Compilation Issues

[Simon Wright <simon@pushface.org>]

Lucretia <laguest9000@googlemail.com> writes:

> On Tuesday, 11 December 2018 16:11:51 UTC, Simon Wright  wrote:
>> Let me start by saying that I'm not a lawyer.
>
> What version is that compiler on sourceforge? Is it from FSF directly,
> i.e. gcc.gnu.org? Or is it GNAT-GPL/CE, i.e. from AdaCore.com? If the
> latter, the licence is GPL-3.0 no linking exception, otherwise it's
> GPL-3.0 with linking exception. Basically, avoid anything GPL-3.0 no
> linking exception, especially Adacore's libraries.

It's vanilla FSF with Adacore libraries, some of which have the runtime
library exception, some of which don't (as noted at the link).

The Adacore sources, at https://github.com/AdaCore, are on the whole
GPLv3 with the runtime exception. I've taken care to report the status:
from https://sourceforge.net/projects/gnuada/files/GNAT_GCC%20Mac%20OS%20X/8.1.0/native-2017/,

========================================================================

Tools included:

Full GPL:
  ASIS from https://github.com/simonjwright/ASIS at [8ba68f3].
  AUnit and GDB from GNAT GPL 2017.
  Gprbuild from https://github.com/AdaCore/gprbuild at commit [1e551df]
     (note, libgpr is GPL with Runtime Library Exception[1]).

GPL with Runtime Library Exception[1]:
  GNATCOLL from:
    https://github.com/AdaCore/gnatcoll-core at commit [a093d11].
    https://github.com/AdaCore/gnatcoll-bindings at commit [2c426fe].
    https://github.com/AdaCore/gnatcoll-db at commit [b66441c].
  XMLAda from https://github.com/AdaCore/xmlada at commit [8a4b2bf]