diff options
Diffstat (limited to 'config/cc.in')
| -rw-r--r-- | config/cc.in | 45 |
1 files changed, 6 insertions, 39 deletions
diff --git a/config/cc.in b/config/cc.in index 27d9d692..176cdf6a 100644 --- a/config/cc.in +++ b/config/cc.in @@ -2,47 +2,9 @@ menu "C compiler" -comment "Core C Compiler (used to build the C library)" - -config CC_USE_CORE - bool - prompt "Use a different core C compiler" - default n - help - Use a different compiler to build the C library than the one - in the final toolchain. - - You can change the compiler used, or only the version used. - - You most probably don't need that. - -choice - bool - prompt "Core C compiler:" - depends on CC_USE_CORE - -config CC_CORE_GCC - bool - prompt "gcc" - -endchoice - -config CC_CORE_VERSION - string - -config CC_CORE - string - default "gcc" if CC_CORE_GCC - -if CC_CORE_GCC && CC_USE_CORE -source config/cc_core_gcc.in -endif - -comment "Final C compiler" - choice bool - prompt "Final C compiler" + prompt "C compiler flavour" default CC_GCC config CC_GCC @@ -54,6 +16,11 @@ config CC_GCC select CC_SUPPORT_ADA select CC_SUPPORT_OBJC select CC_SUPPORT_OBJCXX + help + gcc is the full-blown GNU compiler. This is what most people will choose. + + gcc sports lots of languages, powerfull code parser, optimised binary output, + and lots of other features. endchoice |