Hi Emese,
On Sun, Nov 06, 2016 at 09:19:05AM +0100, Emese Revfy wrote:
On Sun, 6 Nov 2016 07:09:57 +0800
kbuild test robot <[email protected]> wrote:
Hi Emese,
FYI, the error/warning still remains.
++(scripts/gcc-plugin.sh:12): main(): gcc-4.6 -E -x c++ - -o /dev/null
-Iscripts/gcc-plugins -Iplugin/include
scripts/Makefile.gcc-plugins:30: warning: your gcc installation does not
support plugins, perhaps the necessary headers are missing?
Hi,
You should install the gcc-4.6 plugin headers (gcc-4.6-plugin-dev package on
debian if I remember well) for the plugins.
Right. However it seems Debian has removed that package from the repo.
So I'll disable gcc-4.6. Even though gcc supports plugins since 4.5,
it looks debian only provides the plugin headers for gcc-4.8, 4.9, 5
and 6.
Thanks,
Fengguang
