Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

GH-102404, GH-100956: Document how to do a WASI build #105251

Merged
merged 14 commits into from
Jun 2, 2023

Conversation

brettcannon
Copy link
Member

@brettcannon brettcannon commented Jun 2, 2023

Also includes a reference shell script to implements what is documented.

Copy link
Contributor

@mdboom mdboom left a comment

Choose a reason for hiding this comment

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

This is great -- it's nice to see a minimal example of what needs to happen in that shell script.

Tools/wasm/README.md Show resolved Hide resolved
Tools/wasm/build_wasi.sh Show resolved Hide resolved
Tools/wasm/README.md Outdated Show resolved Hide resolved
Tools/wasm/README.md Outdated Show resolved Hide resolved
Tools/wasm/README.md Outdated Show resolved Hide resolved
Tools/wasm/build_wasi.sh Show resolved Hide resolved
@brettcannon brettcannon merged commit 70dc2fb into python:main Jun 2, 2023
20 of 21 checks passed
@brettcannon brettcannon deleted the document-wasi-build branch June 2, 2023 22:15
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.

None yet

3 participants