Re: [PATCH v2 1/2] libada: Remove racy duplicate gnatlib installation

2019-10-01 Thread Arnaud Charlet
> 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 -

Re: [PATCH v2 1/2] libada: Remove racy duplicate gnatlib installation

2019-09-29 Thread Maciej W. Rozycki
On Sat, 28 Sep 2019, Maciej W. Rozycki wrote: > Index: gcc/gcc/ada/gcc-interface/Make-lang.in > === > --- gcc.orig/gcc/ada/gcc-interface/Make-lang.in > +++ gcc/gcc/ada/gcc-interface/Make-lang.in > @@ -843,6 +845,7 @@ doc/gnat-style.pd

[PATCH v2 1/2] libada: Remove racy duplicate gnatlib installation

2019-09-28 Thread Maciej W. Rozycki
For some reason, presumably historical, the `install-gnatlib' target for the default multilib is invoked twice, once via the `ada.install-common' target in `gcc/ada/gcc-interface/Make-lang.in' invoked from gcc/ and again via the `install-libada' target in libada/. Apart from doing the same twic