> But apparently they already are (when building the compiler), otherwise
That's different: some parts of the run-time is used with a native compiler to bootstrap GNAT. The GNAT run-time is built separately using the target compiler (potentially different from the native compiler), so bootstrapping and building the run-time is done separately, using different compilers and different options. Arno