Skip to content

Remove bundled WDK7 stdint.h compatibility header#8

Merged
tinysec merged 1 commit into
masterfrom
remove-bundled-stdint-header
Jun 22, 2026
Merged

Remove bundled WDK7 stdint.h compatibility header#8
tinysec merged 1 commit into
masterfrom
remove-bundled-stdint-header

Conversation

@tinysec

@tinysec tinysec commented Jun 22, 2026

Copy link
Copy Markdown
Owner

Summary

The setup action should not inject a CRT polyfill into every consumer's include path. Bundling stdint.h silently shadows headers and makes downstream builds depend on an invisible header owned by the action. Providing a stdint.h shim is the downstream project's responsibility.

Changes

  • Delete include/stdint.h and the now-empty include/ directory
  • Drop the WDK7_COMPAT_INCLUDE_DIR derivation and its entries in WDK7_USER_INCLUDE_DIRS / WDK7_KERNEL_INCLUDE_DIRS from cmake/wdk7.cmake
  • Remove the "Provides private WDK7 compatibility headers" feature line from README.md
  • Revert the e2e exe.c fixture to not depend on <stdint.h>

The setup action should not inject a CRT polyfill into every consumer's
include path. Bundling stdint.h silently shadows headers and makes
downstream builds depend on an invisible header owned by the action.
Providing a stdint.h shim is the downstream project's responsibility.

- Delete include/stdint.h and the include/ directory
- Drop WDK7_COMPAT_INCLUDE_DIR wiring from the CMake toolchain
- Remove the compatibility-header feature line from README
- Revert the e2e exe fixture to not depend on <stdint.h>
@tinysec tinysec merged commit 9eb3767 into master Jun 22, 2026
1 check passed
@tinysec tinysec deleted the remove-bundled-stdint-header branch June 22, 2026 05:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant