> I have verified this change by running my combined build process where a > native `x86_64-linux-gnu' configuration is built first and then used to > build a `riscv64-linux-gnu' cross-compiler, both with `--disable-libada' > specified, without and with this patch applied. I have added `make -C gcc > gnatlib && make -C gcc gnattools' as an extra build step before `make > install'. > > This has run up to failing to find `riscv64-linux-gnu' system headers in > `make -C gcc gnatlib' as noted above, at which point the installation > trees had both the same contents, including `x86_64-linux-gnu' gnatlib > development files and static libraries as well as gnattools in particular.
Can you also please do a native build with --disable-libada and make -C gcc gnatlib && make -C gcc gnattools && make install ? Once successful, the change is OK, thanks for the extra work. Arno
