Re: Finding gcc plugin headers
On Sunday 10 May 2009 01:37:32 am Dave Korn wrote: > I noticed one bit that looked like a typo: > > # we don't have this path - it needs some suffix > > ITYM 'prefix' here, no? Indeed. Thanks again. Brad
Re: Finding gcc plugin headers
Brad Hards wrote: > On Friday 08 May 2009 10:37:27 pm Dave Korn wrote: >> 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/.h >> >> work for you? > For those who'd like to use this with cmake, I wrote up the results of my > work > in a blog entry: > http://www.kdedevelopers.org/node/3952 > Ah, I was about to mention the gotcha about getting the argument returned verbatim when it can't find it but I see you already dealt with it yourself. I noticed one bit that looked like a typo: # we don't have this path - it needs some suffix ITYM 'prefix' here, no? cheers, DaveK
Re: Finding gcc plugin headers
On Friday 08 May 2009 10:37:27 pm Dave Korn wrote: > 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/.h > > work for you? For those who'd like to use this with cmake, I wrote up the results of my work in a blog entry: http://www.kdedevelopers.org/node/3952 Thanks again. Brad
Re: Finding gcc plugin headers
On Friday 08 May 2009 10:37:27 pm Dave Korn wrote: > 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/.h > > work for you? $ /opt/gccsvn/bin/gcc -print-file-name=plugin/include/gcc-plugin.h /opt/gccsvn/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.5.0/plugin/include/gcc-plugin.h So if my autoconf / cmake tool just checked for $ /opt/gccsvn/bin/gcc -print-file-name=plugin/include /opt/gccsvn/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.5.0/plugin/include then I should be set. Thanks Brad
Re: Finding gcc plugin headers
Rafael Espindola wrote: > 2009/5/8 Brad Hards : >> 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 > > /lib/gcc///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/.h work for you? cheers, DaveK
Re: Finding gcc plugin headers
2009/5/8 Brad Hards : > 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 /lib/gcc///plugin/include/ > Brad > Cheers, -- Rafael Avila de Espindola Google | Gordon House | Barrow Street | Dublin 4 | Ireland Registered in Dublin, Ireland | Registration Number: 368047
Finding gcc plugin headers
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. Brad