Skip to content

Refactor build system#15

Merged
casaroli merged 12 commits intomainfrom
wasi-sysroot
Mar 24, 2026
Merged

Refactor build system#15
casaroli merged 12 commits intomainfrom
wasi-sysroot

Conversation

@casaroli
Copy link
Copy Markdown
Collaborator

@casaroli casaroli commented Mar 14, 2026

Description

  • Refactor and simplify build system.
  • Add simple CI.

TODO (in next PRs):

  • formatting / license banner checks
  • extract mongoose into a library

@casaroli casaroli force-pushed the wasi-sysroot branch 5 times, most recently from 1825851 to 200d4e8 Compare March 22, 2026 11:06
@casaroli casaroli changed the title feat: use wasi-sysroot instead of WASI-SDK Refactor build system Mar 23, 2026
casaroli added 11 commits March 23, 2026 16:47
Currently, since WASI-SDK only provides binaries for a few
platforms, excluding RISCV32, 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.

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>
This reverts commit 33f3806.

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>
jobs:
build:
name: Build Samples
runs-on: "ubuntu-22.04"
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

nit: the latest LTS is 24.04 and is more widely used. Maybe we want to use that.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

it is just docker

@casaroli casaroli merged commit 9c85af2 into main Mar 24, 2026
2 of 5 checks 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.

2 participants