Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add toolchain flag for aarch64

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

2
gcc.cmake
View File

@@ -23,6 +23,8 @@ set(CMAKE_STAGING_PREFIX "${CMAKE_BINARY_DIR}/staging")
if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
if(ARM)
set(CROSS_COMPILER_PREFIX "arm-linux-gnueabi-" CACHE INTERNAL "")
elseif(AARCH64)
set(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-" CACHE INTERNAL "")
endif()
endif()