undefined | Better HN

0 pointse12e5y ago0 comments

> 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?

0 comments

1 comments · 1 top-level

my1235y ago

> 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.

j / k navigate · click thread line to collapse