Does GNAT do a three stage bootstrap and compare of itself? Yes, as part of the standard "make bootstrap" and "make compare". The only thing nonstandard is that between "make compare" and "make install", you need to do "make gnatlib_and_tools".