SPARK2014 is just a tool (gnatprove), which you don't distribute to others (woul... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		onox on May 28, 2021 \| parent \| context \| favorite \| on: Gnat 2021 GPL Community Edition Ada 202x compiler ... SPARK2014 is just a tool (gnatprove), which you don't distribute to others (would be rather pointless). Compiling can be done with gnat from your Linux distro, which usually has the Runtime Library Exception.

eggy on May 28, 2021 [–]

Is the compiling part "a bit painful" as @tobiasu comments above? Because that is what I am trying to avoid.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact