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. Maciej