https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114065
--- Comment #21 from Matthias Klose <doko at gcc dot gnu.org> --- trying to update your patches, the build then fails with: ../../xgcc -B../../ -c -g -O2 -W -Wall -gnatpg -gnata -gnatn -I- -nostdinc -I/home/packages/gcc/14/gcc-14-14-20240424/build/gcc/ada/rts -I. -I/home/packages/ gcc/14/gcc-14-14-20240424/src/gcc/ada /home/packages/gcc/14/gcc-14-14-20240424/src/gcc/ada/osint.adb -o osint. o osint.adb:3281:17: error: "time_t" is undefined (more references follow) osint.adb:3295:28: error: invalid operand types for operator "*" osint.adb:3295:28: error: right operand has type universal integer make[5]: *** [../gcc-interface/Makefile:306: osint.o] Error 1
