Skip to content

embed headers#12

Merged
hackwaly merged 1 commit intomainfrom
yuxiang/embed-headers
Feb 13, 2026
Merged

embed headers#12
hackwaly merged 1 commit intomainfrom
yuxiang/embed-headers

Conversation

@hackwaly
Copy link
Collaborator

@hackwaly hackwaly commented Feb 13, 2026

Currently moon install can only install binary executable. The include headers can't distribute well with that. So we embed headers.

@hackwaly hackwaly marked this pull request as ready for review February 13, 2026 09:56
@hackwaly hackwaly merged commit a701592 into main Feb 13, 2026
1 check passed
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