From 83a48e12f08e375bddd42ca27eab4896234a42b8 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Wed, 19 Aug 2009 19:44:45 +0200
Subject: 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 --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[*]}'"
 
-- 
cgit v0.10.2-6-g49f6