Re: problem with #include_next<stdint.h> in /usr/include/idn-int.h

[Simon Josefsson]

I installed the patch.

/Simon

Simon Josefsson <address@hidden> writes:

> How about this patch?  I'm not sure where a good place to add this is,
> or whether it should use a @subsection or something.  But the important
> thing is to say something similar somewhere.
>
> /Simon
>
> --- stdint.texi       05 Jun 2007 18:57:54 +0200      1.4
> +++ stdint.texi       31 Aug 2007 14:32:20 +0200      
> @@ -29,3 +29,22 @@
>  @item
>  Macros are used instead of typedefs.
>  @end itemize
> +
> +The stdint.h module uses @code{#include_next}.  If you wish to install
> +the generated stdint.h file under another name, typically in order to
> +be able to use some of the types defined by stdint.h in your public
> +header file, you could use the following Makefile.am-snippet:
> +
> address@hidden
> +
> +BUILT_SOURCES += idn-int.h
> +DISTCLEANFILES += idn-int.h
> +nodist_include_HEADERS += idn-int.h
> +
> +idn-int.h:
> +     if test -n "$(STDINT_H)"; then \
> +             sed -e s/include_next/include/ gl/stdint.h > idn-int.h; \
> +     else \
> +             echo '#include <stdint.h>' > idn-int.h; \
> +     fi
> address@hidden example