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

Reply via email to