[PATCH] gcc: vxworks: fix providing stdint.h header

[Rasmus Villemoes]

On 19/11/2021 19.11, Olivier Hainque wrote:
> Hi Rasmus,
> 
>> On 12 Nov 2021, at 17:35, Olivier Hainque <hainque@adacore.com> wrote:
> 
> Your error triggers on O2ggnu++0x.gch and we configure with
> --disable-libstdcxx-pch.
> 
> Can you see if adding this to your configuration options helps
> on your end?

ISTR I already tried that, but just for good measure I did it again, and
no luck:

/bin/sh ../libtool --tag CXX --tag disable-shared   --mode=compile
.../gcc-build/./gcc/xgcc -shared-libgcc -B.../gcc-build/./gcc
-nostdinc++ -L.../gcc-build/powerpc-wrs-vxworks/libstdc++-v3/src
-L.../gcc-build/powerpc-wrs-vxworks/libstdc++-v3/src/.libs
-L.../gcc-build/powerpc-wrs-vxworks/libstdc++-v3/libsupc++/.libs
-B/usr/powerpc-wrs-vxworks/bin/ -B/usr/powerpc-wrs-vxworks/lib/ -isystem
/usr/powerpc-wrs-vxworks/include -isystem
/usr/powerpc-wrs-vxworks/sys-include
--sysroot=/usr/powerpc-wrs-vxworks/sys-root
-fdebug-prefix-map=.../gcc-build/= -fdebug-prefix-map=.../gcc-src/=
-I.../gcc-src/libstdc++-v3/../libgcc
-I.../gcc-build/powerpc-wrs-vxworks/libstdc++-v3/include/powerpc-wrs-vxworks
-I.../gcc-build/powerpc-wrs-vxworks/libstdc++-v3/include
-I.../gcc-src/libstdc++-v3/libsupc++     -fno-implicit-templates -Wall
-Wextra -Wwrite-strings -Wcast-qual -Wabi=2
-fdiagnostics-show-location=once    -ffunction-sections -fdata-sections
 -frandom-seed=del_opant.lo  -g -O2 -mstrict-align -mmultiple
-fvisibility=hidden  -c -o del_opant.lo
.../gcc-src/libstdc++-v3/libsupc++/del_opant.cc
.../gcc-src/libstdc++-v3/libsupc++/new_opa.cc:28:10: fatal error:
stdint.h: No such file or directory
   28 | #include <stdint.h>
      |          ^~~~~~~~~~
compilation terminated.

Rasmus