diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/cc/gcc.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in index c229703..57bf2dc 100644 --- a/config/cc/gcc.in +++ b/config/cc/gcc.in @@ -121,6 +121,14 @@ config CC_GCC_4_4_or_later select CC_GCC_4_2_or_later select CC_GCC_USE_PPL_CLOOG_MPC +config CC_GCC_4_5_or_later + bool + default n + select CC_GCC_4_4_or_later + select CC_GCC_4_3_or_later + select CC_GCC_4_2_or_later + select CC_GCC_USE_LIBELF + config CC_GCC_USE_GMP_MPFR bool default n @@ -134,6 +142,11 @@ config CC_GCC_USE_PPL_CLOOG_MPC select CLOOG select MPC +config CC_GCC_USE_LIBELF + bool + default n + select LIBELF + config CC_VERSION string # Don't remove next line |