On Tue, 14 Apr 2009, Steve Ellcey wrote: > On HP-UX 11.11 there is no stdint.h but I think we want to provide one. > I tried setting use_gcc_stdint to "provide" but that doesn't work > because HP-UX 11.11 already has typedefs in other header files for some > of the things the GCC provided stdint.h wants to typedef like > int8_fast_t.
GCC allows duplicate typedefs in system headers (there's also a proposal for C1x to allow them more generally, as C++ does). So as long as the types are consistent with those in other headers (is this a system with inttypes.h but not stdint.h?) there should be no problem with using GCC's copy. > Is there a standard way of having GCC provide a new header file > for a given platform? You'd create an alternative setting to "provide", "wrap" and "none", say "hpux", and add code to handle it. But you shouldn't need to do so simply because some other headers define some of the types. -- Joseph S. Myers jos...@codesourcery.com
