add support for clang

Signed-off-by: Axel Heider <[email protected]>
seL4 · Apr 9, 2024 · 745fe80 · 745fe80
1 parent b78e966
commit 745fe80
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/settings.cmake b/settings.cmake
@@ -64,7 +64,10 @@ if(NOT Sel4benchAllowSettingsOverride)
     # This option is controlled by ApplyCommonReleaseVerificationSettings
     mark_as_advanced(CMAKE_BUILD_TYPE)
     if(RELEASE)
-        if(NOT KernelArchRiscV)
+        # Know issues with '-fwhole-program':
+        # - clang does not support it at all.
+        # - RISC-V kernel build fails due to missing compiler helper function.
+        if((NOT CMAKE_C_COMPILER_ID STREQUAL "Clang") AND (NOT KernelArchRiscV))
             set(KernelFWholeProgram ON CACHE BOOL "" FORCE)
         endif()
     endif()