Bug#879981: gcc-7-plugin-dev: Missing several generated headers

2017-10-30 Thread Matthias Klose
Control: tags -1 + moreinfo On 28.10.2017 00:28, Ben Longbons wrote: > Package: gcc-7-plugin-dev > Version: 7.2.0-11 > Severity: important > > Dear Maintainer, > > Several of the GCC plugin headers are unusable due to missing files. > > I have verified that at least some of this also applies to

Bug#879981: gcc-7-plugin-dev: Missing several generated headers

2017-10-27 Thread Ben Longbons
Package: gcc-7-plugin-dev Version: 7.2.0-11 Severity: important Dear Maintainer, Several of the GCC plugin headers are unusable due to missing files. I have verified that at least some of this also applies to gcc-[568]-plugin-dev, but I did my main testing against GCC 7. The following identifi