Skip to content

Use wasi-sysroot instead of wasi-sdk#193

Merged
kr-t merged 13 commits intomainfrom
wasi-sysroot
Mar 23, 2026
Merged

Use wasi-sysroot instead of wasi-sdk#193
kr-t merged 13 commits intomainfrom
wasi-sysroot

Conversation

@casaroli
Copy link
Copy Markdown
Collaborator

@casaroli casaroli commented Mar 14, 2026

Currently, since WASI-SDK only provides binaries for a few platforms, excluding RISCV64, and we want to provide support for those, it will be better if we use "upstream" clang to build the WASM modules.

So, instead of wasi-sdk, we just need the sysroot.

@casaroli
Copy link
Copy Markdown
Collaborator Author

Related: project-ocre/ocre-sdk#15

@casaroli casaroli force-pushed the wasi-sysroot branch 4 times, most recently from 0255138 to fc54660 Compare March 22, 2026 07:25
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
@casaroli casaroli force-pushed the wasi-sysroot branch 2 times, most recently from 8818653 to b6e3cf8 Compare March 22, 2026 08:08
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Signed-off-by: Marco Casaroli <marco.casaroli@gmail.com>
Copy link
Copy Markdown
Collaborator

@kr-t kr-t left a comment

Choose a reason for hiding this comment

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

lgtm

@kr-t kr-t merged commit d7cd64f into main Mar 23, 2026
34 checks passed
@kr-t kr-t deleted the wasi-sysroot branch March 23, 2026 10:31
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