Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-04 14:31:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rename ARM toolchain flag to aarch32

Browse Source
This commit is contained in:
Claudia Tu
2017-12-07 16:58:29 +11:00
parent 9b009d9759
commit 0602690f28
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
gcc.cmake
View File

@@ -21,8 +21,11 @@ set(CMAKE_SYSROOT "${CMAKE_BINARY_DIR}")
set(CMAKE_STAGING_PREFIX "${CMAKE_BINARY_DIR}/staging")
if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
if(ARM)
if(AARCH32 OR ARM)
set(CROSS_COMPILER_PREFIX "arm-linux-gnueabi-" CACHE INTERNAL "")
if(ARM)
message("ARM flag is deprecated, please use AARCH32")
endif()
elseif(AARCH64)
set(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-" CACHE INTERNAL "")
endif()