default GCC_VERSION_4_2_4 if TARGET_avr32
default GCC_VERSION_4_2_4 if TARGET_ppc40x
default GCC_VERSION_4_2_4 if TARGET_ppc44x
- default GCC_VERSION_4_2_4 if TARGET_ps3_petitboot
+ default GCC_VERSION_4_3_3 if TARGET_ps3_petitboot
+ default GCC_VERSION_4_3_3 if TARGET_etrax
default GCC_VERSION_4_1_2
help
Select the version of gcc you wish to use.
bool
depends arm||armeb
prompt "Enable EABI support" if TOOLCHAINOPTS
+ default n if TARGET_gemini
default y
help
Enable ARM EABI support