Re: PATCH RFA: New configure option --with-native-system-header-dir

2011-10-11 Thread Paolo Bonzini
On 10/09/2011 08:18 AM, Ian Lance Taylor wrote: +#undef NATIVE_HEADER_HEADER_COMPONENT +#define NATIVE_SYSTEM_HEADER_COMPONENT MINGW Typo (I think), otherwise okay. Paolo

Re: PATCH RFA: New configure option --with-native-system-header-dir

2011-10-10 Thread DJ Delorie
+ yes|no) AC_MSG_ERROR([bad value ${withval} given for --with-native-system-header-dir]) ;; + /*) ;; + *) AC_MSG_ERROR([--with-native-system-header-dir argument ${withval} must be an absolute directory]) ;; This doesn't handle DOS-style absolute paths (like c:/Users). Not sure if we care

Re: PATCH RFA: New configure option --with-native-system-header-dir

2011-10-10 Thread Joseph S. Myers
On Sat, 8 Oct 2011, Ian Lance Taylor wrote: This patch implements this proposal. Only lightly tested so far. How does this look if testing succeeds? OK in the absence of build system maintainer objections within 24 hours. -- Joseph S. Myers jos...@codesourcery.com

Re: PATCH RFA: New configure option --with-native-system-header-dir

2011-10-09 Thread Ian Lance Taylor
Ian Lance Taylor i...@google.com writes: So, it seems to me that we should: * Remove SYSTEM_INCLUDE_DIR, which is undefined and unnecessary. * Move the definition of NATIVE_SYSTEM_HEADER_DIR into config.gcc (named native_system_header_dir). The default is /usr/include. This

Re: PATCH RFA: New configure option --with-native-system-header-dir

2011-10-08 Thread Joseph S. Myers
On Fri, 7 Oct 2011, Ian Lance Taylor wrote: The uses in DJGPP and Mingw support all match. config/gnu.h is only used on i[34567]86-*-gnu* while config/t-gnu is used on *-*-gnu*; this mismatch appears to be an error. The use of STANDARD_INCLUDE_DIR in There are no other *-*-gnu* targets (the

PATCH RFA: New configure option --with-native-system-header-dir

2011-10-07 Thread Ian Lance Taylor
I would like to bring Simon's patch for the --with-native-system-header-dir configure option from the google/integration branch into gcc mainline. This patch permits changing the system header directory from /usr/include to something else. It's mainly useful in conjunction with sysroot, so that

Re: PATCH RFA: New configure option --with-native-system-header-dir

2011-10-07 Thread Joseph S. Myers
On Fri, 7 Oct 2011, Ian Lance Taylor wrote: 2011-10-07 Simon Baldwin sim...@google.com * configure.ac: Add --with-native-system-header-dir option. * configure: Rebuild from configure.ac. * Makefile.in: Support --with-native-system-header-dir. * doc/install.texi: