diff options
Diffstat (limited to 'kconfig/gcc.kconfig')
| -rw-r--r-- | kconfig/gcc.kconfig | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/kconfig/gcc.kconfig b/kconfig/gcc.kconfig index 12ba3e5..cb26044 100644 --- a/kconfig/gcc.kconfig +++ b/kconfig/gcc.kconfig @@ -33,6 +33,8 @@ choice help Here you can choose which GCC series you want to use. + config EMBTK_GCC_VERSION_4_8_X + bool "gcc-4.8.x" config EMBTK_GCC_VERSION_4_7_X bool "gcc-4.7.x" config EMBTK_GCC_VERSION_4_6_X @@ -49,6 +51,17 @@ choice See http://gcc.gnu.org/git/?p=gcc.git endchoice +# GCC-4.8.x +choice + prompt "Version of gcc-4.8.x you wish" + depends on EMBTK_GCC_VERSION_4_8_X + help + gcc-4.8.x version used. + + config EMBTK_GCC_VERSION_4_8_1 + bool "gcc-4.8.1" +endchoice + # GCC-4.7.x choice prompt "Version of gcc-4.7.x you wish" @@ -119,6 +132,7 @@ config EMBTK_GCC_REFSPEC # config EMBTK_GCC_VERSION_STRING string + default "4.8.1" if EMBTK_GCC_VERSION_4_8_1 default "4.7.3" if EMBTK_GCC_VERSION_4_7_3 default "4.6.4" if EMBTK_GCC_VERSION_4_6_4 default "4.5.4" if EMBTK_GCC_VERSION_4_5_4 |