portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

cmake: Explicitly set ARM and not thumb compilation

Browse source 
Some toolchains default to thumb compilation for some reason
This commit is contained in:
Adrian Danis 2018-03-22 14:03:39 +11:00
parent 066c736f05
commit c42f338133
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CMakeLists.txt
View file

@ -63,6 +63,8 @@ if(KernelArchARM)
set(arm_march "${KernelArmArmV}${KernelArmMachFeatureModifiers}")
string(APPEND c_common_flags " -march=${arm_march}")
string(APPEND asm_common_flags " -Wa,-march=${arm_march}")
# Explicitly request ARM instead of THUMB for compilation
string(APPEND c_common_flags " -marm")
endif()
string(APPEND common_flags " ${build_arch}")
if(Kernel64)