https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64492
--- Comment #7 from charlet at adacore dot com <charlet at adacore dot com> --- > Unfortunately you can???t build the cross gnattools, because > --disable-libada > adds gnattools to the list of unconfigured directories, which means that > the > directory gcc/ada/tools is never created, let alone populated. > gcc/ada/gcc-interface/Makefile.in touches stamp-tools, but that???s > all. You can actually. The way to build gnattools when using --disable-libada is to do: obj $ make -C gcc cross-gnattools ada.all.cross Arno