diff options
| author | Arsen Arsenovic <arsen@aarsen.me> | 2022-10-17 08:58:07 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-10-17 08:59:17 +0200 |
| commit | f10b9f64133cbfb5ba06f4deb23766f92629bdd9 (patch) | |
| tree | e8bc2ff4f9b4c85f6f2a2febf9e4965aa615f044 /gcc | |
| parent | fd206f0e95fb6f41b96eaaaab1dc0c30378e5e08 (diff) | |
| download | gcc-f10b9f64133cbfb5ba06f4deb23766f92629bdd9.zip gcc-f10b9f64133cbfb5ba06f4deb23766f92629bdd9.tar.gz gcc-f10b9f64133cbfb5ba06f4deb23766f92629bdd9.tar.bz2 | |
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.
* config.gcc: --target=*-elf --without-{newlib,headers} should
provide stdint.h.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/config.gcc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/config.gcc b/gcc/config.gcc index 8d5972f..2af30b4 100644 --- a/gcc/config.gcc +++ b/gcc/config.gcc @@ -1082,6 +1082,11 @@ case ${target} in # Assume that newlib is being used and so __cxa_atexit is provided. default_use_cxa_atexit=yes use_gcc_stdint=wrap + + case "${with_newlib}-${with_headers}" in + no-no) use_gcc_stdint=provide ;; + *) ;; + esac ;; esac |