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.
---
 scripts/build/cc/gcc.sh | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'scripts')

diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh
index a79bba9e..1737b44d 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 v1.2.3