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.

Sign up for GitHub

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

Jump to bottom

Document expected workflow for WASI builds #105253

Closed
brettcannon opened this issue Jun 2, 2023 · 4 comments
Closed

Document expected workflow for WASI builds #105253

brettcannon opened this issue Jun 2, 2023 · 4 comments
Labels
OS-wasi

Comments

@brettcannon
Copy link
Member

brettcannon commented Jun 2, 2023 •
edited
Loading

With Tools/wasm, the tooling is there for building WASI, but the overall expected development flow could probably stand to be written out explicitly.
@brettcannon brettcannon converted this from a draft issue Jun 2, 2023
@brettcannon brettcannon mentioned this issue Jun 2, 2023
Merged
@brettcannon
Copy link
Member Author

From @mdboom via a comment:

  1. Run build_wasi.sh
  2. Hack on code
  3. Rebuild by cd'ing to builddir/wasi and running make
  4. Repeat steps 2-3
  5. ?
  6. Profit!

@brettcannon brettcannon moved this to Todo in WASI to tier 2 Jun 2, 2023
@brettcannon
Copy link
Member Author

#105261 would probably simplify things if it were possible.

@kieferrm kieferrm mentioned this issue Jun 11, 2023
Closed
23 tasks
@brettcannon
Copy link
Member Author

We should probably consider creating a separate WASI dev container which does the actual build of WASI as part of the pre-build. That way the main dev container can be a bit faster and smaller to get up and going, while providing a pre-build that has WASI already built and ready to go.

@kieferrm kieferrm mentioned this issue Jul 9, 2023
Closed
28 tasks
@kieferrm kieferrm mentioned this issue Aug 6, 2023
Closed
28 tasks
@kieferrm kieferrm mentioned this issue Sep 11, 2023
Closed
31 tasks
@kieferrm kieferrm mentioned this issue Oct 8, 2023
Closed
33 tasks
@kieferrm kieferrm mentioned this issue Nov 4, 2023
Closed
29 tasks
@brettcannon brettcannon moved this from Todo to In Progress in WASI to tier 2 Nov 27, 2023
@brettcannon
Copy link
Member Author

Part of #112473 .

brettcannon added a commit that referenced this issue Nov 30, 2023
@brettcannon
GH-103065, GH-106704, GH-105253: Provide a Tools/wasm/wasi.py scrip…
37589d7 
…t to simplify doing a WASI build (GH-112473)
@github-project-automation github-project-automation bot moved this from In Progress to Done in WASI to tier 2 Nov 30, 2023
@kieferrm kieferrm mentioned this issue Dec 20, 2023
Closed
39 tasks
@kieferrm kieferrm mentioned this issue Jan 16, 2024
Closed
67 tasks
aisk pushed a commit to aisk/cpython that referenced this issue Feb 11, 2024
@brettcannon @aisk
pythonGH-103065, pythonGH-106704, pythonGH-105253: Provide a `Tools/w…
82233bb 
…asm/wasi.py` script to simplify doing a WASI build (pythonGH-112473)
Glyphack pushed a commit to Glyphack/cpython that referenced this issue Sep 2, 2024
@brettcannon @Glyphack
pythonGH-103065, pythonGH-106704, pythonGH-105253: Provide a `Tools/w…
41a161a 
…asm/wasi.py` script to simplify doing a WASI build (pythonGH-112473)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
OS-wasi
Projects
No open projects
WASI to tier 2
Status: Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@brettcannon and others