How to know which version of GCC I need for a given version of mbed os?

Hi everyone,

I would like to use mbed-os-5.15.5 (latest stable release, and compatible with my Nucleo-L073RZ) but I’m not sure which GCC version I need. I can’t find a compatibility table anywhere, nor recent information about it. I’ve downloaded mbed-os-5.15.5 but cannot find any info about it either in the readme.

I thought maybe mbed-os is compatible with all versions of gcc but when I try to compile it, I have this error: “mstd_type_traits: no such file or directory”, which I suspect to be linked to the version of my GCC. But maybe I’m wrong!

I’m using SW4STM32 if it helps. Previously, I was using mbed-os-2 and it worked fine but I know it’s deprecated now, so I wanted to try a more recent release :slight_smile:

Thanks in advance for your advice and have a good day!!


I am not experienced in this case but for example the MbedStudio is delivered with 6-2017-q2-update and MbedStudio’s page Switching to GCC also says 9-2019-q4-major.

BR, Jan