Re: [PATCH v6 0/6] Introduce GCC plugin infrastructure

[David Brown]

On Tue, Apr 12, 2016 at 11:27:52AM -0700, Kees Cook wrote:

> Awesome! Thanks for testing this. I still need to finish getting my
> arm64 environment built...

I've been using:
 http://releases.linaro.org/components/toolchain/binaries/

for most stuff.

> Do you happen to know if there's already a gcc bug open for the make
> install problem?

Linaro toolchain bug:
 https://bugs.linaro.org/show_bug.cgi?id=2123

Patch to fix it
 https://gcc.gnu.org/ml/gcc-patches/2016-03/msg00522.html

It is supposed to be included in the linaro 5.3-2016.03 snapshot.
I've pinged Christophe to see if I can get any insight into when that
will be available.

It is kind of nice to see that when it fails, it prints a helpful
message, though:

 scripts/Makefile.gcc-plugins:22: *** error, your gcc installation does not support plugins, perhaps the necessary headers are missing?.  Stop.

I think it is OK to include this, even with the patches still bubbling
through gcc releases.  It prints a helpful message when it doesn't
work, and is only going to be selected if specifically requested.

David