libsel4bench: fix include order

Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h · Nov 3, 2023 · 64609b5 · 64609b5
1 parent d7e721e
commit 64609b5
Showing 1 changed file with 13 additions and 2 deletions.
diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
@@ -32,17 +32,28 @@ file(
 list(SORT deps)
 
 add_library(sel4bench EXCLUDE_FROM_ALL ${deps})
+
+if(KernelArchARM)
 target_include_directories(
     sel4bench
     PUBLIC
         include
         "arch_include/${KernelArch}/armv/${KernelArmArmV}"
         "arch_include/${KernelArch}/cpu/${KernelArmCPU}"
-        "sel4_arch_include/${KernelSel4Arch}"
-        "arch_include/${KernelArch}"
         src
 )
 if(KernelArmArmV STREQUAL "armv7ve")
     target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a")
 endif()
+endif()
+
+target_include_directories(
+    sel4bench
+    PUBLIC
+        include
+        "sel4_arch_include/${KernelSel4Arch}"
+        "arch_include/${KernelArch}"
+        src
+)
+
 target_link_libraries(sel4bench muslc sel4 utils sel4_autoconf)