diff options
Diffstat (limited to 'config/cc/gcc.in')
| -rw-r--r-- | config/cc/gcc.in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in index a6db8ae..67fd82f 100644 --- a/config/cc/gcc.in +++ b/config/cc/gcc.in @@ -196,6 +196,20 @@ config CC_GCC_4_5_or_later default n select CC_GCC_4_4_or_later +config CC_GCC_4_6 + bool + default n + select CC_GCC_4_6_or_later + select CC_GCC_USE_GMP_MPFR + select CC_GCC_USE_MPC + select CC_GCC_HAS_GRAPHITE + select CC_GCC_HAS_LTO + +config CC_GCC_4_6_or_later + bool + default n + select CC_GCC_4_5_or_later + config CC_GCC_HAS_GRAPHITE bool default n |