From 05d76cd8ac5adf2d9debe262f607e84288068420 Mon Sep 17 00:00:00 2001 From: Hesham Almatary Date: Wed, 12 Jul 2023 14:26:30 +0100 Subject: [PATCH] seL4: prefix LLVM's tools with supported seL4 target triples Mainly to get binutils symlinked as expected by the seL4's cmake build system. --- pycheribuild/projects/cross/llvm.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/pycheribuild/projects/cross/llvm.py b/pycheribuild/projects/cross/llvm.py index 4c83c96e1..17b2e4e2c 100644 --- a/pycheribuild/projects/cross/llvm.py +++ b/pycheribuild/projects/cross/llvm.py @@ -41,6 +41,8 @@ CheriBSDTargetInfo, CompilationTargets, FreeBSDTargetInfo, + Sel4MorelloTargetInfo, + Sel4TargetInfo, ) from ...config.target_info import AbstractProject, CompilerType, CrossCompileTarget from ...processutils import CompilerInfo @@ -547,6 +549,8 @@ def triple_prefixes_for_binaries(self) -> "Iterable[str]": include_version=False), CheriBSDTargetInfo.triple_for_target(CompilationTargets.CHERIBSD_X86_64, self.config, include_version=False), + Sel4TargetInfo.triple_for_target(CompilationTargets.SEL4_RISCV64, self.config, + include_version=False), ] return [x + "-" for x in triples] @@ -576,6 +580,8 @@ def triple_prefixes_for_binaries(self) -> "Iterable[str]": triples = [ CheriBSDMorelloTargetInfo.triple_for_target(CompilationTargets.CHERIBSD_MORELLO_PURECAP, self.config, include_version=False), + Sel4MorelloTargetInfo.triple_for_target(CompilationTargets.SEL4_MORELLO_NO_CHERI, self.config, + include_version=False), ] return [x + "-" for x in triples]