Re:Ten Years of Using SPARK to Build CubeSat Nano Satellites...
by okl on Sunday March 03, 2019 @05:06PM
(#19297228)
Adacore releases a GCC/GNAT compiler on their website that has no runtime library exception. You can build your own GCC/GNAT (not difficult) or install from another source (e.g. your distro's repo).
Another option is to only release your source code.
Another option is to only release your source code.