CMake: warn if KERNEL_FLAGS_PATH is missing

This catches CMake setup errors. Signed-off-by: Axel Heider <[email protected]>
AmbiML · Jun 30, 2022 · 50aadce · 50aadce
1 parent f0329ab
commit 50aadce
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/elfloader-tool/CMakeLists.txt b/elfloader-tool/CMakeLists.txt
@@ -13,6 +13,10 @@ if(KernelArchX86)
     return()
 endif()
 
+if(NOT KERNEL_FLAGS_PATH)
+    # Seems the seL4 kernel CMake project was not included?
+    message(FATAL_ERROR "KERNEL_FLAGS_PATH is not set.")
+endif()
 include(${KERNEL_FLAGS_PATH})
 include(cpio)