https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79260
Bug ID: 79260 Summary: missing header files for plugins: arm-isa.h, arm-flags.h Product: gcc Version: 7.0.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: plugins Assignee: unassigned at gcc dot gnu.org Reporter: arnd at linaro dot org Target Milestone: --- Building the Linux kernel with gcc-plugins enabled currently fails for ARM: In file included from /home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/options.h:8:0, from /home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/tm.h:23, from /home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/backend.h:28, from /home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/gcc-plugin.h:30, from /git/arm-soc/scripts/gcc-plugins/gcc-common.h:6, from <stdin>:1: /home/arnd/cross-gcc/lib/gcc/arm-linux-gnueabi/7.0.1/plugin/include/config/arm/arm-opts.h:28:23: fatal error: arm-flags.h: No such file or directory compilation terminated. Cannot use CONFIG_GCC_PLUGINS: your gcc installation does not support plugins, perhaps the necessary headers are missing? Manually copying arm-isa.h and arm-flags.h into the installation directory solved the problem for me.