SPARK2014 and FSF GCC

This is a note about building SPARK (i.e. gnatprove) against an FSF GCC.

Where’s that library?

This note is about some difficulties using shared libraries (.dylibs) on macOS.