aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-08-20 11:44:37 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-08-20 11:44:37 +0200
commit4ecf7591449d34630b61e9a5cc734ebc9f8e07e4 (patch)
tree2df7b0e7ac0ab41df4170aea2122611d7d792924
parent5a4342e69ecc19d1408f622ceb7f8a8bbe6c1d20 (diff)
downloadkernel-4ecf7591449d34630b61e9a5cc734ebc9f8e07e4.tar.xz
kernel-4ecf7591449d34630b61e9a5cc734ebc9f8e07e4.zip
build: clean up header set verification
-rw-r--r--arch/x86_64/CMakeLists.txt4
-rw-r--r--kapi/CMakeLists.txt4
-rw-r--r--kernel/CMakeLists.txt6
-rw-r--r--libs/acpi/CMakeLists.txt4
-rw-r--r--libs/elf/CMakeLists.txt4
-rw-r--r--libs/kstd/CMakeLists.txt6
-rw-r--r--libs/multiboot2/CMakeLists.txt4
7 files changed, 2 insertions, 30 deletions
diff --git a/arch/x86_64/CMakeLists.txt b/arch/x86_64/CMakeLists.txt
index a93f4f64..6cc19f59 100644
--- a/arch/x86_64/CMakeLists.txt
+++ b/arch/x86_64/CMakeLists.txt
@@ -93,7 +93,3 @@ set(KERNEL_LINKER_SCRIPT
"${CMAKE_CURRENT_SOURCE_DIR}/scripts/kernel.ld"
PARENT_SCOPE
)
-
-set_target_properties("x86_64" PROPERTIES
- VERIFY_INTERFACE_HEADER_SETS YES
-)
diff --git a/kapi/CMakeLists.txt b/kapi/CMakeLists.txt
index 3a9f3607..7aef788f 100644
--- a/kapi/CMakeLists.txt
+++ b/kapi/CMakeLists.txt
@@ -25,7 +25,3 @@ target_link_libraries("kapi" INTERFACE
"gcc"
"stdc++"
)
-
-set_target_properties("kapi" PROPERTIES
- VERIFY_INTERFACE_HEADER_SETS YES
-)
diff --git a/kernel/CMakeLists.txt b/kernel/CMakeLists.txt
index 0ac72a18..c7cf9498 100644
--- a/kernel/CMakeLists.txt
+++ b/kernel/CMakeLists.txt
@@ -92,7 +92,7 @@ file(GLOB_RECURSE KERNEL_HEADERS
list(FILTER KERNEL_HEADERS EXCLUDE REGEX "test_support")
-target_sources("kernel_lib" PUBLIC
+target_sources("kernel_lib" PRIVATE
FILE_SET HEADERS
BASE_DIRS "${CMAKE_CURRENT_SOURCE_DIR}"
FILES
@@ -109,10 +109,6 @@ target_link_libraries("kernel_lib" PUBLIC
"acpi::lib"
)
-set_target_properties("kernel_lib" PROPERTIES
- VERIFY_INTERFACE_HEADER_SETS YES
-)
-
#[============================================================================[
# Executable
#]============================================================================]
diff --git a/libs/acpi/CMakeLists.txt b/libs/acpi/CMakeLists.txt
index 32ce8a05..e21a7ef8 100644
--- a/libs/acpi/CMakeLists.txt
+++ b/libs/acpi/CMakeLists.txt
@@ -51,10 +51,6 @@ target_link_libraries("acpi" PUBLIC
"kstd::lib"
)
-set_target_properties("acpi" PROPERTIES
- VERIFY_INTERFACE_HEADER_SETS YES
-)
-
#[============================================================================[
# Tests
#]============================================================================]
diff --git a/libs/elf/CMakeLists.txt b/libs/elf/CMakeLists.txt
index 18411320..bf69678e 100644
--- a/libs/elf/CMakeLists.txt
+++ b/libs/elf/CMakeLists.txt
@@ -31,7 +31,3 @@ target_sources("elf" INTERFACE
target_include_directories("elf" INTERFACE
"${CMAKE_CURRENT_SOURCE_DIR}"
)
-
-set_target_properties("elf" PROPERTIES
- VERIFY_INTERFACE_HEADER_SETS YES
-) \ No newline at end of file
diff --git a/libs/kstd/CMakeLists.txt b/libs/kstd/CMakeLists.txt
index 753f674f..a5b76a62 100644
--- a/libs/kstd/CMakeLists.txt
+++ b/libs/kstd/CMakeLists.txt
@@ -34,7 +34,7 @@ file(GLOB_RECURSE KSTD_HEADERS
"kstd/**.hpp"
)
-list(FILTER KSTD_HEADERS EXCLUDE REGEX "test_support")
+list(FILTER KSTD_HEADERS EXCLUDE REGEX "test_support|bits")
target_sources("kstd" PUBLIC
FILE_SET HEADERS
@@ -47,10 +47,6 @@ target_include_directories("kstd" PUBLIC
"${CMAKE_CURRENT_SOURCE_DIR}"
)
-set_target_properties("kstd" PROPERTIES
- VERIFY_INTERFACE_HEADER_SETS YES
-)
-
if(NOT BUILD_TESTING)
target_sources("kstd" PRIVATE
"kstd/libc/stdlib.cpp"
diff --git a/libs/multiboot2/CMakeLists.txt b/libs/multiboot2/CMakeLists.txt
index 2590ad5d..36070a10 100644
--- a/libs/multiboot2/CMakeLists.txt
+++ b/libs/multiboot2/CMakeLists.txt
@@ -36,7 +36,3 @@ target_link_libraries("multiboot2" INTERFACE
"elf::lib"
"kstd::lib"
)
-
-set_target_properties("multiboot2" PROPERTIES
- VERIFY_INTERFACE_HEADER_SETS YES
-)