On 12/01/2017 18:18, Alex Bennée wrote: >> Although I feel there should be a compiler macro way to do this without >> a need for configure/makefile trickery at all... > > I did ask our toolchain bods. They started going on about potential > solutions using _Generic but I fear that might be worse in this case! I don't think _Generic can do string concatenation, can it? inttypes.h is not part of the set of freestanding headers, only stdint.h is. Who is providing stdint.h in your case? Paolo _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm