diff options
Diffstat (limited to 'toolchain/gcc/Config.in')
| -rw-r--r-- | toolchain/gcc/Config.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/toolchain/gcc/Config.in b/toolchain/gcc/Config.in index bd7d50995..abbfe733e 100644 --- a/toolchain/gcc/Config.in +++ b/toolchain/gcc/Config.in @@ -67,7 +67,13 @@ endchoice config GCC_USE_GRAPHITE bool prompt "Compile in support for the new Graphite framework in GCC 4.4+" if TOOLCHAINOPTS - depends GCC_VERSION_4_4_1 || GCC_VERSION_4_4_2 || GCC_VERSION_4_4_3 + depends GCC_VERSION_4_4 || GCC_VERSION_4_5 + +config GCC_USE_SYSTEM_PPL_CLOOG + bool + prompt "Use the system versions of PPL and CLooG + depends GCC_USE_GRAPHITE + default n config EXTRA_GCC_CONFIG_OPTIONS string |