Skip to content

feat!: remove generate_header capability#514

Merged
aherrmann merged 3 commits intoaherrmann:mainfrom
cerisier:cerisier/remove-emit-h
Sep 10, 2025
Merged

feat!: remove generate_header capability#514
aherrmann merged 3 commits intoaherrmann:mainfrom
cerisier:cerisier/remove-emit-h

Conversation

@cerisier
Copy link
Contributor

As discussed, emit-h is broken and there has been no progress towards a fix since more than year.

Making this PR as a standalone one so that we can easily revert when emit-h is fixed.

emit-h is broken and there has been no progress towards a fix since
more than year.

Making this PR as a standalone one so that we can easily revert
when emit-h is fixed.
@cerisier cerisier force-pushed the cerisier/remove-emit-h branch from 9e3a325 to f2101f6 Compare September 10, 2025 12:06
cerisier and others added 2 commits September 10, 2025 14:11
Given that the `:zig_header` target itself still remains, it makes sense to still document it in the BUILD file.
Copy link
Owner

@aherrmann aherrmann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thank you! I've partly reinstated the zig-header doc string, since the target itself is still there, and just removed the -femit-h bits.

@aherrmann aherrmann enabled auto-merge September 10, 2025 18:40
@cerisier
Copy link
Contributor Author

My bad thanks !

@aherrmann aherrmann merged commit 1ce0fcc into aherrmann:main Sep 10, 2025
13 checks passed
@aherrmann aherrmann changed the title Remove generate_header capability feat!: remove generate_header capability Sep 15, 2025
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.

2 participants