Remove bundled WDK7 stdint.h compatibility header

README.md

@@ -15,7 +15,6 @@ runner starts clean.
   the default `C:\WinDDK` installation path.
 - Downloads, extracts, and caches WDK7 automatically on Windows runners.
 - Exposes a bundled CMake toolchain for `i386` and `amd64` builds.
-- Provides private WDK7 compatibility headers, including `stdint.h`.
 - Supports user-mode binaries, kernel `.sys` targets, and legacy
   `ddkbuild.cmd` projects.
 - Optionally prepares the Debugging Tools SDK for DbgEng and WinDbg extension

cmake/wdk7.cmake

@@ -133,9 +133,6 @@ set(WDK7_CL     "${WDK7_BIN}/cl.exe")
 set(WDK7_LINK   "${WDK7_BIN}/link.exe")
 set(WDK7_RC     "${WDK7_HOST_BIN}/rc.exe")
 set(WDK7_NMAKE  "${WDK7_HOST_BIN}/nmake.exe")
-get_filename_component(_WDK7_TOOLCHAIN_DIR "${CMAKE_CURRENT_LIST_FILE}" DIRECTORY)
-get_filename_component(_WDK7_ACTION_ROOT "${_WDK7_TOOLCHAIN_DIR}" DIRECTORY)
-set(WDK7_COMPAT_INCLUDE_DIR "${_WDK7_ACTION_ROOT}/include")
 
 foreach (_tool IN ITEMS WDK7_CL WDK7_LINK WDK7_RC WDK7_NMAKE)
     if (NOT EXISTS "${${_tool}}")
@@ -156,14 +153,12 @@ endif()
 set(ENV{PATH} "${WDK7_BIN};${WDK7_HOST_BIN};$ENV{PATH}")
 
 set(WDK7_USER_INCLUDE_DIRS
-        "${WDK7_COMPAT_INCLUDE_DIR}"
         "${WDK7_ROOT}/inc/api/crt/stl70"
         "${WDK7_ROOT}/inc/atl71"
         "${WDK7_ROOT}/inc/crt"
         "${WDK7_ROOT}/inc/api"
         "${WDK7_ROOT}/inc/ddk")
 set(WDK7_KERNEL_INCLUDE_DIRS
-        "${WDK7_COMPAT_INCLUDE_DIR}"
         "${WDK7_ROOT}/inc/crt"
         "${WDK7_ROOT}/inc/ddk"
         "${WDK7_ROOT}/inc/api")

test/e2e/cmake/exe.c

@@ -1,4 +1,3 @@
-#include <stdint.h>
 #include <windows.h>
 
 /*
@@ -7,11 +6,9 @@
  */
 int main(void)
 {
-    uint64_t value = UINT64_C(42);
-
     /*
      * Returning success keeps the fixture focused on toolchain behavior rather
      * than runtime behavior.
      */
-    return value == 42 ? 0 : 1;
+    return 0;
 }