portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Ignore clang 20 warning that breaks the build

Browse source 
Note for LLVM 20 a new compile error appears:

clang: error: argument unused during compilation: '-c'
[-Werror,-Wunused-command-line-argument]. You'd need
to add -Wno-unused-command-line-argument to the kernel
compile options to build successfully.

Thanks to Chang Liu for mentioning the fix.

Signed-off-by: Indan Zupancic <indan@nul.nu>
This commit is contained in:
Indan Zupancic 2025-02-25 13:31:13 +00:00
parent 9334b7d85d
commit 58e4012eec
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
CMakeLists.txt
View file

@ -309,6 +309,14 @@ else()
message(FATAL_ERROR "unknown KernelArch '${KernelArch}'")
endif()
if(
(CMAKE_C_COMPILER_ID STREQUAL "Clang")
AND (CMAKE_C_COMPILER_VERSION VERSION_GREATER_EQUAL "20.0.0")
)
# To avoid clang: error: argument unused during compilation: '-c'
add_compile_options(-Wno-unused-command-line-argument)
endif()
# Sort the C sources to ensure a stable layout of the final C file
list(SORT c_sources)
# Add the domain schedule now that its sorted