Re: Ping: [PATCH] elf: ELF toolchain --without-{headers, newlib} should provide stdint.h

On Tuesday, 11 October 2022 08:47:32 CEST Richard Biener wrote: > OK. Thanks for the review. I don't have push rights currently, so could you push this for me? Have a good evening, -- Arsen Arsenović signature.asc Description: This is a digitally signed message part.

Re: Ping: [PATCH] elf: ELF toolchain --without-{headers, newlib} should provide stdint.h

On Mon, Oct 10, 2022 at 8:06 PM Arsen Arsenović via Gcc-patches wrote: > > Evening, > > Ping on this patch, it should fix some configuration issues we get on > ELF targets (especially in libstdc++). > > https://gcc.gnu.org/pipermail/gcc-patches/2022-October/602751.html OK. Thanks, Richard. > Th

Ping: [PATCH] elf: ELF toolchain --without-{headers, newlib} should provide stdint.h

Evening, Ping on this patch, it should fix some configuration issues we get on ELF targets (especially in libstdc++). https://gcc.gnu.org/pipermail/gcc-patches/2022-October/602751.html Thanks, -- Arsen Arsenović signature.asc Description: This is a digitally signed message part.

[PATCH] elf: ELF toolchain --without-{headers, newlib} should provide stdint.h

stdint.h is considered a freestanding headers by C, and a valid stdint.h is required for certain parts of libstdc++' configuration, so we should simply provide one when we have no other way (i.e. newlib or user-specified sysroot) of getting one. gcc/ChangeLog: * config.gcc: --target=*-elf