summaryrefslogtreecommitdiff
path: root/config/cc.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/cc.in')
-rw-r--r--config/cc.in45
1 files changed, 6 insertions, 39 deletions
diff --git a/config/cc.in b/config/cc.in
index 27d9d69..176cdf6 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