The plugin package still fails here because it cannot find mpc.h, included, e.g., from /usr/lib/gcc/x86_64-linux-gnu/5/plugin/include/builtin.h. That file is provided by libmpc-dev which, IMHO, gcc-5-plugin-dev should depend on.
Regards, Mathias
- Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unu... Yves-Alexis Perez
- Bug#798997: marked as done (gcc-5-plugin-d... Debian Bug Tracking System
- Processed: Re: Bug#798997: gcc-5-plugin-de... Debian Bug Tracking System
- Bug#798997: marked as done (gcc-5-plugin-d... Debian Bug Tracking System
- Bug#798997: gcc-5-plugin-dev: gcc-5 plugin... Mathias Krause
- Bug#798997: gcc-5-plugin-dev: gcc-5 pl... Matthias Klose
