ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

CMake: set develop optimizations

pull/13566/head
Martin Kojtal 2020-07-28 15:31:20 +01:00 committed by Hugues Kamba
parent d3d88e3be9
commit 5128b02686
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cmake/profiles/develop.cmake
View File

@ -7,6 +7,7 @@ if(MBED_TOOLCHAIN STREQUAL "GCC_ARM")
list(APPEND c_compile_options
"-c"
"-std=gnu11"
"-Os"
)
target_compile_options(mbed-os
PUBLIC
@ -17,6 +18,7 @@ if(MBED_TOOLCHAIN STREQUAL "GCC_ARM")
"-std=gnu++14"
"-fno-rtti"
"-Wvla"
"-Os"
)
target_compile_options(mbed-os
PUBLIC
@ -46,6 +48,7 @@ if(MBED_TOOLCHAIN STREQUAL "GCC_ARM")
elseif(MBED_TOOLCHAIN STREQUAL "ARM")
list(APPEND c_compile_options
"-std=gnu11"
"-Os"
)
target_compile_options(mbed-os
PUBLIC
@ -56,6 +59,7 @@ elseif(MBED_TOOLCHAIN STREQUAL "ARM")
"-std=gnu++14"
"-fno-rtti"
"-fno-c++-static-destructors"
"-Os"
)
target_compile_options(mbed-os
PUBLIC