News for hackers. Stuff that matters.

A comment on A learning platform to teach the Ada and SPARK programming languages. Parent comment

Re:A learning platform to teach the Ada and SPARK programmin... by elteto on Wednesday July 25, 2018 @06:50PM (#17613640)
Hmmm... Is that how the GPL works? Or is AdaCore adding a rider to the GPL saying that all software compiled with their tools must also follow the GPL?
[ Parent | on HN ]
Re:A learning platform to teach the Ada and SPARK programmin... by xeeeeeeeeeeenu on Wednesday July 25, 2018 @07:08PM (#17613767)
Linking with GNAT standard library is the problem, it's not about the compiler itself.
[ Parent | on HN ]
Re:A learning platform to teach the Ada and SPARK programmin... by Fabien_C on Thursday July 26, 2018 @05:06AM (#17616077)
And only for the Community release.
[ Parent | on HN ]