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 additional RISCV toolchains

Browse Source 
Search for more toolchains if the first one cannot be found.

Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
This commit is contained in:
Kent McLeod
2020-04-06 13:56:05 +10:00
parent 3ab10e8314
commit b6366c80ce
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
gcc.cmake
View File

@@ -60,7 +60,9 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
elseif(${sel4_arch} STREQUAL "aarch64")
set(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-")
elseif(${arch} STREQUAL "riscv")
set(CROSS_COMPILER_PREFIX "riscv64-unknown-linux-gnu-")
FindPrefixedGCC(
CROSS_COMPILER_PREFIX "riscv64-unknown-linux-gnu-" "riscv64-unknown-elf-"
)
endif()
else()
# For backwards compatibility reasons we allow this file to work without templating.
@@ -74,7 +76,9 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
elseif(AARCH64)
set(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-")
elseif(RISCV32 OR RISCV64)
set(CROSS_COMPILER_PREFIX "riscv64-unknown-linux-gnu-")
FindPrefixedGCC(
CROSS_COMPILER_PREFIX "riscv64-unknown-linux-gnu-" "riscv64-unknown-elf-"
)
endif()
endif()
if(AARCH32HF)