VSadov/Satori
1
0
Fork 0
mirror of https://github.com/VSadov/Satori.git synced 2025-06-10 18:11:04 +09:00
Code Activity

[WASI] update WASI SDK to 22 and wasmtime to 19.0.2 (#101392)

Browse source
This commit is contained in:
Pavel Savara 2024-04-25 14:59:01 +02:00 • committed by GitHub
parent d79bb01433
commit d0dffe1dcf
Signed by: github
GPG key ID: B5690EEEBB952194
12 changed files with 31 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
eng/native/gen-buildsys.cmd
View file

@ -62,7 +62,7 @@ if /i "%__Arch%" == "wasm" (
if /i "%__Os%" == "wasi" (
if "%WASI_SDK_PATH%" == "" (
if not exist "%__repoRoot%\src\mono\wasi\wasi-sdk" (
echo Error: Should set WASI_SDK_PATH environment variable pointing to emsdk root.
echo Error: Should set WASI_SDK_PATH environment variable pointing to WASI SDK root.
exit /B 1
)