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

Set CROSS_COMPILER_PREFIX in gcc.cmake template

Browse Source
This commit is contained in:
Stephen Sherratt
2020-03-10 20:03:29 +11:00
parent 0769d05f1e
commit f27b25c977
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
gcc.cmake
View File

@@ -19,6 +19,7 @@ set(CMAKE_STAGING_PREFIX "${CMAKE_BINARY_DIR}/staging")
set(sel4_arch @KernelSel4Arch@)
set(arch @KernelArch@)
set(mode @KernelWordSize@)
set(CROSS_COMPILER_PREFIX @CROSS_COMPILER_PREFIX@)
# This function hunts for an extant `gcc` with one of the candidate prefixes
# specified in `ARGN`, allowing us to try different target triple prefixes for