gcc: Support plugins in core gcc compiler

When building for bare metal only do_gcc_core_backend() is used. In
order to support GCC plugins the --enable-plugin needs to be passed to
GCC's configure.

Fixes #2244
Signed-off-by: Chris Packham <judge.packham@gmail.com>
This commit is contained in:
Chris Packham 2025-01-03 16:36:10 +13:00
parent 649de5f013
commit 5014530b4f

View File

@ -511,6 +511,12 @@ do_gcc_core_backend() {
*) extra_config+=( "--enable-decimal-float=${CT_CC_GCC_DEC_FLOATS}" );; *) extra_config+=( "--enable-decimal-float=${CT_CC_GCC_DEC_FLOATS}" );;
esac esac
if [ "${CT_CC_GCC_ENABLE_PLUGINS}" = "y" ]; then
extra_config+=( --enable-plugin )
else
extra_config+=( --disable-plugin )
fi
case "${CT_ARCH}" in case "${CT_ARCH}" in
mips) mips)
case "${CT_CC_GCC_mips_llsc}" in case "${CT_CC_GCC_mips_llsc}" in