Processed: Re: Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable

2015-09-15 Thread Debian Bug Tracking System
Processing control commands: > tags -1 + pending Bug #798997 {Done: Matthias Klose } [gcc-5-plugin-dev] gcc-5-plugin-dev: gcc-5 plugins unusable Added tag(s) pending. -- 798997: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=798997 Debian Bug Tracking System Contact

Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable

2015-09-15 Thread Matthias Klose
Control: tags -1 + pending On 09/15/2015 07:06 AM, Mathias Krause wrote: > 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

Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable

2015-09-14 Thread Yves-Alexis Perez
Package: gcc-5-plugin-dev Version: 5.2.1-17 Severity: important Hi, it seems that GCC plugins are unusable with the 5.1 version: - gcc -E -shared - -o /dev/null -I`gcc -print-file-name=plugin`/include <:1: /usr/lib/gcc/x86_64-linux-gnu/5/plugin/include/hash-table.h:201:15: fatal error:

Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable

2015-09-14 Thread Mathias Krause
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