On Sat, 21 Dec 2019, Eric Botcazou wrote:
> > Fixed thus, and verified with and without `--disable-libada', ensuring
> > that shared libgnat and libgnarl libraries arrive at their intended places
> > upon `make install'.
> >
> > OK to apply?
>
> Yes (modulo s/overriden/overridden), thanks for
> Fixed thus, and verified with and without `--disable-libada', ensuring
> that shared libgnat and libgnarl libraries arrive at their intended places
> upon `make install'.
>
> OK to apply?
Yes (modulo s/overriden/overridden), thanks for the quick turn around.
--
Eric Botcazou
Provide a default value of $(toolexeclibdir) for $(ADA_RTL_DSO_DIR), so
that in a `--disable-libada' configuration `make install' places shared
gnatlib libraries, built with `make -C gcc gnatlib-shared', in their
intended version-specific location, fixing a commit r276424 ("libada:
Respect `--e
