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.make: Add support for riscv64-elf- toolchain

Browse Source 
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
This commit is contained in:
Alistair Francis
2021-04-27 08:13:16 +10:00
committed by Kent McLeod
parent 2da1b3f74a
commit d49ab2ddde
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
gcc.cmake
View File

@@ -61,7 +61,10 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
set(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-")
elseif(${arch} STREQUAL "riscv")
FindPrefixedGCC(
CROSS_COMPILER_PREFIX "riscv64-unknown-linux-gnu-" "riscv64-unknown-elf-"
CROSS_COMPILER_PREFIX
"riscv64-unknown-linux-gnu-"
"riscv64-unknown-elf-"
"riscv64-elf-"
)
endif()
else()
@@ -77,7 +80,10 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
set(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-")
elseif(RISCV32 OR RISCV64)
FindPrefixedGCC(
CROSS_COMPILER_PREFIX "riscv64-unknown-linux-gnu-" "riscv64-unknown-elf-"
CROSS_COMPILER_PREFIX
"riscv64-unknown-linux-gnu-"
"riscv64-unknown-elf-"
"riscv64-elf-"
)
endif()
endif()