WASI_SDK="$(pwd)/../wasi-sdk-12.0"

CC="$WASI_SDK/bin/clang --sysroot=$WASI_SDK/share/wasi-sysroot"
CXX="$WASI_SDK/bin/clang++ --sysroot=$WASI_SDK/share/wasi-sysroot"
AR="$WASI_SDK/bin/ar"

HOST_CC=gcc
HOST_CXX=g++

ac_add_options --enable-application=js
ac_add_options --target=wasm32-unknown-wasi

ac_add_options --without-system-zlib
ac_add_options --without-intl-api

ac_add_options --disable-jit
ac_add_options --disable-shared-js
ac_add_options --disable-shared-memory

# Comment out `--enable-optimize` and `--disable-debug` and then uncomment
# `--enable-debug` to switch to debug builds of SpiderMonkey. Also update
# `DEFINE=` in the `Makefile`.
ac_add_options --enable-optimize
ac_add_options --disable-debug
# ac_add_options --enable-debug

mk_add_options AUTOCLOBBER=1