[Bug other/40004] gcc does not install appropriate plugin headers

2009-05-08 Thread bradh at frogmouth dot net
--- Comment #3 from bradh at frogmouth dot net 2009-05-08 07:58 --- Looks like the install is now dealing with this. -- bradh at frogmouth dot net changed: What|Removed |Added

[Bug other/40004] gcc does not install appropriate plugin headers

2009-05-02 Thread joseph at codesourcery dot com
--- Comment #2 from joseph at codesourcery dot com 2009-05-02 09:34 --- Subject: Re: New: gcc does not install appropriate plugin headers On Sat, 2 May 2009, bradh at frogmouth dot net wrote: > Writing a plugin requires use of a range of headers (such as gcc-plugin.h) > which are no

[Bug other/40004] gcc does not install appropriate plugin headers

2009-05-02 Thread bradh at frogmouth dot net
--- Comment #1 from bradh at frogmouth dot net 2009-05-02 07:23 --- Created an attachment (id=17791) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17791&action=view) .i of trivial example Source was only one line: #include "gcc-plugin.h" -- http://gcc.gnu.org/bugzilla/show_bu