diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-19 17:44:45 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-19 17:44:45 (GMT) |
commit | 83a48e12f08e375bddd42ca27eab4896234a42b8 (patch) | |
tree | c10dc05983a719c69b88fef9ca55c0ed717a47aa | |
parent | 8dd4a2de0041b41c764292648459cf90353e04db (diff) |
Allow setting --enable-cxx-flags on gcc ./configure
Some setups require one to pass extra CXX flags at the time of ./configure.
Make it easy.
-rw-r--r-- | config/cc/gcc.in | 11 | ||||
-rw-r--r-- | scripts/build/cc/gcc.sh | 3 |
2 files changed, 14 insertions, 0 deletions
diff --git a/config/cc/gcc.in b/config/cc/gcc.in index 3a672b0..01fbfe6 100644 --- a/config/cc/gcc.in +++ b/config/cc/gcc.in @@ -205,6 +205,17 @@ config CC_SJLJ_EXCEPTIONS_DONT_USE endchoice +config CC_ENABLE_CXX_FLAGS + string + prompt "Flags to pass to --enable-cxx-flags" + default "" + help + Enter here the value of the gcc's ./configure option --enable-cxx-flags. + Leave empty if you don't know better. + + Note: just pass in the option _value_, that is only the part that goes + after the '=' sign. + config CC_CORE_EXTRA_CONFIG string prompt "Core gcc extra config" diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh index a79bba9..1737b44 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -309,6 +309,9 @@ do_cc() { extra_config+=("--with-cloog=${CT_PREFIX_DIR}") extra_config+=("--with-mpc=${CT_PREFIX_DIR}") fi + if [ -n "${CC_ENABLE_CXX_FLAGS}" ]; then + extra_config+=("--enable-cxx-flags=${CC_ENABLE_CXX_FLAGS}") + fi CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'" |