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

cmake: detect 32-bit x86 cross-compilers

Browse Source 
Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan-Velickovic
2023-06-13 12:52:50 +10:00
committed by Gerwin Klein
parent 5091e5313d
commit 4dc40c3807
1 changed files with 13 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
gcc.cmake
View File

@@ -117,13 +117,19 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
endif()
if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
# If we haven't set a target above we assume x86_64/ia32 target
if(CMAKE_HOST_APPLE)
# CMAKE_HOST_APPLE is a CMake variable that evaluates to True on a Mac OSX system
FindPrefixedGCC(CROSS_COMPILER_PREFIX "x86_64-linux-gnu-" "x86_64-unknown-linux-gnu-")
elseif("${CMAKE_HOST_SYSTEM_PROCESSOR}" STREQUAL "aarch64")
# If we're on an aarch64 host, gcc won't support x86. Set an x86 compatible toolchain
FindPrefixedGCC(CROSS_COMPILER_PREFIX "x86_64-linux-gnu-" "x86_64-unknown-linux-gnu-")
# If we haven't set a target above we assume x86_64/ia32 target, and hence have to
# find an appropriate x86 compatible toolchain. If we're on an AArch64 host, GCC will
# not support x86. If we're on macOS (detected via CMAKE_HOST_APPLE), we need to find
# the appropriate x86 compiler regardless of host architecture. This is as `gcc`
# usually actually uses clang on macOS, not GCC.
if("${CMAKE_HOST_SYSTEM_PROCESSOR}" STREQUAL "aarch64" OR CMAKE_HOST_APPLE)
if("${sel4_arch}" STREQUAL "ia32")
FindPrefixedGCC(CROSS_COMPILER_PREFIX "i686-linux-gnu-" "i686-unknown-linux-gnu-")
else()
FindPrefixedGCC(
CROSS_COMPILER_PREFIX "x86_64-linux-gnu-" "x86_64-unknown-linux-gnu-"
)
endif()
endif()
endif()
endif()