On 9/27/23 11:32, Palmer Dabbelt wrote:
IMO this is one of those places where we should just be as normal as
possible. So if the other big ports allow system headers then we
should, otherwise we should move everyone over to testing in some way
we'll catch these before commit.
Exactly. I think the dance we've been doing with stdint-gcc.h is a bit
silly, but I haven't pushed on it at all.
No other port does anything similar. When they need stdint.h, they
include it. It does mean you have to have the appropriate headers
installed for each multilib configuration, but that's the way every
other port handles this problem. There's no good reason I'm aware of
for RISC-V to be different.
jeff