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

CMake: set release optimizations

pull/13566/head
Martin Kojtal 2020-07-28 15:31:31 +01:00 committed by Hugues Kamba
parent 5128b02686
commit 67c364d281
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/release.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
@ -18,6 +19,7 @@ if(MBED_TOOLCHAIN STREQUAL "GCC_ARM")
"-std=gnu++14"
"-fno-rtti"
"-Wvla"
"-Os"
)
target_compile_options(mbed-os
PUBLIC
@ -48,6 +50,7 @@ if(MBED_TOOLCHAIN STREQUAL "GCC_ARM")
elseif(MBED_TOOLCHAIN STREQUAL "ARM")
list(APPEND c_compile_options
"-std=gnu11"
"-Oz"
)
target_compile_options(mbed-os
PUBLIC
@ -58,6 +61,7 @@ elseif(MBED_TOOLCHAIN STREQUAL "ARM")
"-std=gnu++14"
"-fno-rtti"
"-fno-c++-static-destructors"
"-Oz"
)
target_compile_options(mbed-os
PUBLIC