summaryrefslogtreecommitdiffstats
path: root/scripts/Makefile.gcc-plugins
diff options
context:
space:
mode:
authorMasahiro Yamada <yamada.masahiro@socionext.com>2018-05-28 05:22:05 -0400
committerMasahiro Yamada <yamada.masahiro@socionext.com>2018-06-10 20:14:36 -0400
commit8034c2fb1225979b1cc9b9a12fa8094ca10b4fc3 (patch)
tree7703f2b4d456c843630855d5eec93541ad4f4268 /scripts/Makefile.gcc-plugins
parent5aadfdeb8de001ca04d500586e3b033404c28617 (diff)
gcc-plugins: move GCC version check for PowerPC to Kconfig
For PowerPC, GCC 5.2 is the requirement for GCC plugins. Move the version check to Kconfig so that the GCC plugin menus will be hidden if an older compiler is in use. Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com> Acked-by: Andrew Donnellan <andrew.donnellan@au1.ibm.com> Reviewed-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'scripts/Makefile.gcc-plugins')
-rw-r--r--scripts/Makefile.gcc-plugins8
1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/Makefile.gcc-plugins b/scripts/Makefile.gcc-plugins
index 708c8f6a5717..32bdf184eced 100644
--- a/scripts/Makefile.gcc-plugins
+++ b/scripts/Makefile.gcc-plugins
@@ -53,14 +53,6 @@ gcc-plugins-check: FORCE
53ifdef CONFIG_GCC_PLUGINS 53ifdef CONFIG_GCC_PLUGINS
54 ifeq ($(PLUGINCC),) 54 ifeq ($(PLUGINCC),)
55 ifneq ($(GCC_PLUGINS_CFLAGS),) 55 ifneq ($(GCC_PLUGINS_CFLAGS),)
56 # Various gccs between 4.5 and 5.1 have bugs on powerpc due to missing
57 # header files. gcc <= 4.6 doesn't work at all, gccs from 4.8 to 5.1 have
58 # issues with 64-bit targets.
59 ifeq ($(ARCH),powerpc)
60 ifeq ($(call cc-ifversion, -le, 0501, y), y)
61 @echo "Cannot use CONFIG_GCC_PLUGINS: plugin support on gcc <= 5.1 is buggy on powerpc, please upgrade to gcc 5.2 or newer" >&2 && exit 1
62 endif
63 endif
64 ifeq ($(call cc-ifversion, -ge, 0405, y), y) 56 ifeq ($(call cc-ifversion, -ge, 0405, y), y)
65 $(Q)$(srctree)/scripts/gcc-plugin.sh --show-error "$(__PLUGINCC)" "$(HOSTCXX)" "$(CC)" || true 57 $(Q)$(srctree)/scripts/gcc-plugin.sh --show-error "$(__PLUGINCC)" "$(HOSTCXX)" "$(CC)" || true
66 @echo "Cannot use CONFIG_GCC_PLUGINS: your gcc installation does not support plugins, perhaps the necessary headers are missing?" >&2 && exit 1 58 @echo "Cannot use CONFIG_GCC_PLUGINS: your gcc installation does not support plugins, perhaps the necessary headers are missing?" >&2 && exit 1