Pedro Alves wrote:
and gnulib is deciding that the system's stdint.h is good enough At least, I don't get a stdint.h replacement.
Since gnulib's test program contains this: intmax_t i = INTMAX_MAX;I'm surprised that gnulib decided that the system's stdint.h was good enough. Perhaps you could investigate why.
