28 lines
782 B
Plaintext
28 lines
782 B
Plaintext
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
|