7 years, 3 months ago.

GCC compiled library for Nucleo F401

Can a GCC precompiled mbed library for Nucleo F401 be made available along with the ARM ones please ?

Current folder where I'm looking:


I see that the source to support this is perhaps already available so maybe this is already in the works ? :


Thanks, Paul

1 Answer

7 years, 3 months ago.

Looks like this just needs to be tested and then added to build_release.py Have you considered contributing to the mbed SDK? Have a look here. https://github.com/mbedmicro/mbed#mbed-sdk

Accepted Answer

GCC ARM is there, does not need to added, does it? A user can build mbed library ,as each release is tagged in the git.

If we add it here (gcc lib), it cant be used in the online IDE.

posted by Martin Kojtal 08 Oct 2014

I dont think you can export mbed.bld to gcc or any IDE using gcc unless that is included. Many other targets have a gcc lib. See http://developer.mbed.org/users/mbed_official/code/mbed/file/552587b429a1/TARGET_KL25Z/TOOLCHAIN_GCC_ARM for an example. I think in general having a single point for releases is good. Maybe that is github but that also exists here http://developer.mbed.org/users/mbed_official/code/mbed/

posted by Sam Grove 08 Oct 2014

That is answer to paul's question then. I was not aware of gcc is also published here on mbed.

posted by Martin Kojtal 08 Oct 2014

Thanks for the tip. I've tested it and it builds (great work to whoever integrated all of that, by the way!).

I've changed the line in build_release.py to add GCC_ARM as follows:

('NUCLEO_F401RE', ('ARM', 'uARM', 'GCC_ARM')),

And will do a pull request



posted by paul cox 08 Oct 2014