Eric, On Wed, 18 Dec 2019, Maciej W. Rozycki wrote:
> On Wed, 18 Dec 2019, Eric Botcazou wrote: > > > > gcc/ada/ > > > * gcc-interface/Makefile.in (ADA_RTL_DSO_DIR): New variable. > > > (install-gnatlib): Use it in place of ADA_RTL_OBJ_DIR for shared > > > library installation. > > > > > > libada/ > > > * Makefile.in (toolexecdir, toolexeclibdir): New variables. > > > (LIBADA_FLAGS_TO_PASS): Add `toolexeclibdir'. > > > * configure.ac: Add `--enable-version-specific-runtime-libs'. > > > Update version-specific `toolexecdir' and `toolexeclibdir' from > > > ADA_RTL_OBJ_DIR from gcc/ada/gcc-interface/Makefile.in. > > > * configure: Regenerate. > > > > This breaks with --disable-libada because $(toolexeclibdir) is not set. > > Sorry about the breakage, I'll look into it right away. Can you please be a little more specific as to what kind of breakage you see and/or specific configuration options and steps required to reproduce it? I have rebuilt GCC with `--disable-libada' and it didn't cause any anomalies I could notice whether `--enable-version-specific-runtime-libs' or `--disable-version-specific-runtime-libs' has been used. I wouldn't expect any anyway, as shared libgnat and libgnarl libraries are not built in this case, so $(toolexeclibdir) is not supposed to be used. Maciej