# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1250703885 -7200
# Node ID c5451809efdbd632e764ba375bcd59d1ca01c5f0
# Parent  094f442a9d5ef16e45755abf04ee4a731cf77adf
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.

diff -r 094f442a9d5e -r c5451809efdb config/cc/gcc.in
--- a/config/cc/gcc.in	Wed Aug 19 19:44:44 2009 +0200
+++ b/config/cc/gcc.in	Wed Aug 19 19:44:45 2009 +0200
@@ -205,6 +205,17 @@
 
 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 -r 094f442a9d5e -r c5451809efdb scripts/build/cc/gcc.sh
--- a/scripts/build/cc/gcc.sh	Wed Aug 19 19:44:44 2009 +0200
+++ b/scripts/build/cc/gcc.sh	Wed Aug 19 19:44:45 2009 +0200
@@ -309,6 +309,9 @@
         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[*]}'"