Rafael Espindola wrote:
> 2009/5/8 Brad Hards <br...@frogmouth.net>:
>> Hi,
>>
>> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40004 was a bug report that I
>> filed on the missing plugin headers.
>>
>> That is now resolved - the headers are installed. I've closed the bug report.
>>
>> However I'm not sure how my application / buildsystem is meant to find the
>> headers. Is there a way gcc could tell me? Alternatively, could there be
>> a .pc (pkg-config) file.
> 
> We don't have any helpers at this moment. You can find the headers in
> 
> <inst>/lib/gcc/<arch>/<version>/plugin/include/

@Brad:

  Instead of pkg-config, the tradition for GCC is to use one of the driver's
default switches.  Does

gcc -print-file-name=plugin/include/<whatever>.h

work for you?

    cheers,
      DaveK

Reply via email to