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