you can export the project to use gcc, it's packing you a zip with make files and linker scripts example: https://github.com/jvermillard/Wakaama-mbed