how to add stdint.h? (again)
Ok, so I made a new System Workbench native STM32 project for the same Nucleo board; and could see that there are three paths under the Includes node:
C:/Ac6/SystemWorkbench/plugins/fr.ac6.mcu.externaltools.arm-none.win32_1.17.0.201812190825/tools/compiler/arm-none-eabi/include
C:/Ac6/SystemWorkbench/plugins/fr.ac6.mcu.externaltools.arm-none.win32_1.17.0.201812190825/tools/compiler/lib/gcc/arm-none-eabi/7.3.1/include
C:/Ac6/SystemWorkbench/plugins/fr.ac6.mcu.externaltools.arm-none.win32_1.17.0.201812190825/tools/compiler/lib/gcc/arm-none-eabi/7.3.1/include-fixed
(somewhat strangely, these strings are not present in any file in the newly created project)
I added these manually via
($project)/Properties/C/C++ General/Paths and Symbols/Includes/Languages (GNU C)/Include directories
... and set them as first - now stdint resolves ...