> > Unfortunately the Make-lang.in part is still needed when using the > > --disable-libada configure switch so a more elaborate change is needed. > > Hmm, I've experimented a bit and AFAICT if `--disable-libada' is given > without my proposed change applied, then the gnatlib stuff doesn't get > built in the first place let alone installed anyway.
With --disable-libada you need to build gnatlib and gnattools explicitly via e.g. make -C gcc gnatlib gnattools (after having done a "make" or "make bootstrap") and then you can use "make install" Arno
