[ar71xx] enable I2C_GPIO driver
[openwrt.git] / toolchain / gcc / Config.in
index 8d91ba2..18891b5 100644 (file)
@@ -6,7 +6,9 @@ choice
        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
+       default GCC_VERSION_4_3_3 if TARGET_ps3_petitboot
+       default GCC_VERSION_4_3_3 if TARGET_etrax
+       default GCC_VERSION_4_3_3 if TARGET_coldfire
        default GCC_VERSION_4_1_2
        help
          Select the version of gcc you wish to use.
@@ -14,21 +16,19 @@ choice
        config GCC_VERSION_3_4_6
                bool "gcc 3.4.6"
 
+if !LINUX_2_4
        config GCC_VERSION_4_1_2
-               depends !LINUX_2_4
                bool "gcc 4.1.2"
 
        config GCC_VERSION_4_2_4
-               depends !LINUX_2_4
                bool "gcc 4.2.4"
 
-       config GCC_VERSION_4_3_1
-               depends !LINUX_2_4
-               bool "gcc 4.3.1"
+       config GCC_VERSION_4_3_3
+               bool "gcc 4.3.3"
 
-       config GCC_VERSION_4_3_2
-               depends !LINUX_2_4
-               bool "gcc 4.3.2"
+       config GCC_VERSION_4_4_0
+               bool "gcc 4.4.0"
+endif
 
 endchoice
 
@@ -36,7 +36,8 @@ config EABI_SUPPORT
        bool
        depends arm||armeb
        prompt "Enable EABI support" if TOOLCHAINOPTS
-       default n
+       default n if TARGET_gemini
+       default y
        help
          Enable ARM EABI support
 
This page took 0.027237 seconds and 4 git commands to generate.