Bug#903694: bootstrap issue

2018-07-20 Thread Matthias Klose
On 19.07.2018 23:26, Nicolas Boulenguez wrote: >> gcc-defaults pointing to GCC 8 is now in unstable. I assume we can wait >> until >> it is installed in the buildd chroots, and then retry the build? > > I think so. > But then gcc-7 has the same problem. yes, we could use gcc-6/gnat-6 to build i

Bug#903694: bootstrap issue

2018-07-19 Thread Matthias Klose
On 19.07.2018 21:37, Nicolas Boulenguez wrote: > gnat-7/7.3.0-26 wrongly assumes that /usr/bin/gcc links to gcc-7. > By chance, this currently holds in unstable, > and gcc-7 is hopefully able to build a fixed version of itself. > > gnat-8/8.1.0-11 wrongly assumes that /usr/bin/gcc links to gcc-8.

Bug#903694: bootstrap issue

2018-07-19 Thread Nicolas Boulenguez
gnat-7/7.3.0-26 wrongly assumes that /usr/bin/gcc links to gcc-7. By chance, this currently holds in unstable, and gcc-7 is hopefully able to build a fixed version of itself. gnat-8/8.1.0-11 wrongly assumes that /usr/bin/gcc links to gcc-8. It is broken in unstable, at least with default options.