https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61176
--- Comment #17 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 35144 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35144&action=edit gcc5-pr61176.patch Patch to install all gcc/*.h and gcc/*.def headers, even when they aren't listed in PLUGIN_HEADERS.
