> Since Geoff is worried about future binary compatibility apparently, it > would probably be easier to modify gnatlink.adb to emit -static-libgcc or > -shared-libgcc depending on whether static or shared gnatlib is used.
The problem is that passing -static-libgcc unconditionally can theoritically cause problems on Linux when C code using POSIX threads is linked. So we would need to do that only on Darwin. -- Eric Botcazou