Skip to content

Commit

Permalink
Add WASI CI build
Browse files Browse the repository at this point in the history
  • Loading branch information
mmicko committed Dec 5, 2023
1 parent 0ccff57 commit ec3723f
Showing 1 changed file with 29 additions and 0 deletions.
29 changes: 29 additions & 0 deletions .github/workflows/wasi.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
name: WASI Build

on: [push, pull_request]

jobs:
wasi:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build
run: |
WASI_SDK=wasi-sdk-19.0
WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-19/wasi-sdk-19.0-linux.tar.gz
if ! [ -d ${WASI_SDK} ]; then curl -L ${WASI_SDK_URL} | tar xzf -; fi
cat > Makefile.conf <<END
export PATH := $(pwd)/${WASI_SDK}/bin:${PATH}
WASI_SYSROOT := $(pwd)/${WASI_SDK}/share/wasi-sysroot
CONFIG := wasi
PREFIX := /
ENABLE_TCL := 0
ENABLE_READLINE := 0
ENABLE_PLUGINS := 0
ENABLE_ZLIB := 0
END
make CXX=clang -j$(nproc)

0 comments on commit ec3723f

Please sign in to comment.