From 4dc2fd5749a180de009c2cd443cdc1f9eff648ef Mon Sep 17 00:00:00 2001
From: relan <email@hidden>
Date: Fri, 23 Sep 2022 18:08:04 +0300
Subject: [PATCH] Update WASI SDK to 16

This is the version used by recent Gecko builds from Mozilla.
---
 build.sh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 26742424..01349be1 100755
--- a/build.sh
+++ b/build.sh
@@ -52,7 +52,14 @@ pyenv global 3.9.13
 pushd "$wasi"
 mkdir -p build/install/wasi
 touch build/compiler-rt.BUILT # fool the build system
-make PATH="$ANDROID_HOME/cmake/3.18.1/bin:$PATH" PREFIX=/wasi build -j"$(nproc)"
+# BULK_MEMORY_SOURCES= disables -mbulk-memory which is not supported by wasm2c
+make \
+    PATH="$ANDROID_HOME/cmake/3.18.1/bin:$PATH" \
+    BULK_MEMORY_SOURCES= \
+    PREFIX=/wasi \
+    build/wasi-libc.BUILT \
+    build/libcxx.BUILT \
+    -j"$(nproc)"
 popd
 
 pushd "$mozilla_release"