Comment on Gnat 2021 GPL Community Edition Ada 202x compiler releasedparentComments−onox5ySPARK2014 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.−eggy5yIs the compiling part "a bit painful" as @tobiasu comments above? Because that is what I am trying to avoid.
Comments
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.
Is the compiling part "a bit painful" as @tobiasu comments above? Because that is what I am trying to avoid.