Adding more information on your environment (platform, tools) could help. Such kind of compilation issues might have many root causes.
Is your installation correctly compiling other STM32MP1 projects ? if not maybe check again SW4STM32 installation (https://wiki.st.com/stm32mpu/wiki/STM32-CoPro-MPU_plugin_release_note).
Try to remove and re-import again the example project in SystemWorkbench.
Hello, I using a virtual machine with Ubuntu 18.04.2, I use install_sw2stm32_linux_64bits-V2.9.run to install Workbench and en.stm32cubemp1_v1-0-0.zip to install libraries and examples, my board is STM32MP157C-DK2
I try to import and compile GPIO_EXTI example but I get a lot of errors too, for example:
.../STM32Cube_FW_MP1_V1.0.0/Drivers/STM32MP1xx_HAL_Driver/Src/stm32mp1xx_hal.c: 817:66: error: unknown type name 'uint32_t'
Why don't recognize uint32_t type?
I try to install Workbench with your link.