Software development; mainly Ada, mainly on macOS.
This is a note about building SPARK (i.e. gnatprove) against an FSF GCC.
