News for hackers. Stuff that matters.
Re:Gnat 2021 GPL Community Edition Ada 202x compiler released by e12e on Friday May 28, 2021 @09:33AM (#27315113)
> You can build gnat and gnatprove yourself, including runtime exception.

How does that work? Are the binaries from Ada core (not FSF) intentionally distributed under GPL while the source for standardlib/run-time come with LGPL/run-time exceptions?

It was my understanding that the Ada core distribution is full GPL only, and the FSF one (lagging a few versions) was licensed more like gcc?

Re:Gnat 2021 GPL Community Edition Ada 202x compiler released by my123 on Friday May 28, 2021 @10:08AM (#27315490)
> It was my understanding that the Ada core distribution is full GPL only, and the FSF one (lagging a few versions) was licensed more like gcc?

Yes that's the case.