# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1276802783 -7200
# Node ID 1974075aa6413afd78dea3c2dbee21788d30bd9e
# Parent  c12158f27395fab9041b9c7fb645ea3c877dc617
cc/gcc: add option do disable PCH

In some cases, using Pre-Compiled Headers breaks the build.
Ass an option to disable building the PCH, as suggested by:
  http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40974

diff -r c12158f27395 -r 1974075aa641 config/cc/gcc.in
--- a/config/cc/gcc.in	Thu Jun 17 18:30:09 2010 +0200
+++ b/config/cc/gcc.in	Thu Jun 17 21:26:23 2010 +0200
@@ -268,6 +268,18 @@
 
       This will compile crossgcc's libs with -Os.
 
+config CC_GCC_DISABLE_PCH
+    bool
+    prompt "Do not build PCH"
+    default n
+    help
+      Say 'y' here to not use Pre-Compiled Headers in the resulting toolchain.
+      at the expense of speed when compiling C++ code.
+      
+      For some configurations (most notably canadian?), PCH are broken, and
+      need to be disabled.  Please see:
+        http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40974
+
 config CC_PKGVERSION
     string
     prompt "gcc ID string"
diff -r c12158f27395 -r 1974075aa641 scripts/build/cc/gcc.sh
--- a/scripts/build/cc/gcc.sh	Thu Jun 17 18:30:09 2010 +0200
+++ b/scripts/build/cc/gcc.sh	Thu Jun 17 21:26:23 2010 +0200
@@ -367,6 +367,9 @@
     if [ "${CT_CC_GCC_ENABLE_TARGET_OPTSPACE}" = "y" ]; then
         extra_config+=("--enable-target-optspace")
     fi
+    if [ "${CT_CC_GCC_DISABLE_PCH}" = "y" ]; then
+        extra_config+=("--disable-libstdcxx-pch")
+    fi
 
     CT_DoLog DEBUG "Extra config passed: '${extra_config[*]}'"