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

gcc.cmake: add more known ARM cross compilers

Browse Source 
These are the prefixes used by the official Arm GNU Toolchain [1] It
would be convenient if seL4 would recognise it out of the box.

[1] https://developer.arm.com/downloads/-/arm-gnu-toolchain-downloads

Signed-off-by: Mathieu Mirmont <mat@parad0x.org>
This commit is contained in:
Mathieu Mirmont
2023-02-17 15:40:26 +01:00
committed by Kent McLeod
parent 62dccc901a
commit 729cc7fdbf
1 changed files with 14 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
gcc.cmake
View File

@@ -62,7 +62,13 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
"arm-none-eabi-"
)
elseif(${sel4_arch} STREQUAL "aarch64")
FindPrefixedGCC(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-" "aarch64-unknown-linux-gnu-")
FindPrefixedGCC(
CROSS_COMPILER_PREFIX
"aarch64-linux-gnu-"
"aarch64-unknown-linux-gnu-"
"aarch64-none-linux-gnu-"
"aarch64-none-elf-"
)
elseif(${arch} STREQUAL "riscv")
FindPrefixedGCC(
CROSS_COMPILER_PREFIX
@@ -86,7 +92,13 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
message("ARM flag is deprecated, please use AARCH32")
endif()
elseif(AARCH64)
FindPrefixedGCC(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-" "aarch64-unknown-linux-gnu-")
FindPrefixedGCC(
CROSS_COMPILER_PREFIX
"aarch64-linux-gnu-"
"aarch64-unknown-linux-gnu-"
"aarch64-none-linux-gnu-"
"aarch64-none-elf-"
)
elseif(RISCV32 OR RISCV64)
FindPrefixedGCC(
CROSS_COMPILER_PREFIX