radare2/sys/wasi.sh

55 lines
1.7 KiB
Bash
Raw Normal View History

#!/bin/sh
WASI_ROOT=${HOME}/Downloads/wasi
WASI_MAJOR=16
WASI_VERSION=${WASI_MAJOR}.0
export WASI_SDK=${WASI_ROOT}/wasi-sdk-${WASI_VERSION}
export WASI_SYSROOT=${WASI_ROOT}/wasi-sysroot-${WASI_VERSION}
if [ ! -d "$WASI_SDK" ]; then
#OS=linux,macos,mingw
OS=`uname`
case "$OS" in
linux|Linux) OS=linux ; ;;
darwin|Darwin) OS=macos ; ;;
windows|Windows) OS=mingw ; ;;
esac
mkdir -p ~/Downloads/wasi
rm -f ~/Downloads/wasi/wasi-sdk.tar.gz
wget -c -O ~/Downloads/wasi/wasi-sdk.tar.gz https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_MAJOR}/wasi-sdk-${WASI_VERSION}-$OS.tar.gz || exit 1
rm -f ~/Downloads/wasi/wasi-sysroot.tar.gz
wget -c -O ~/Downloads/wasi/wasi-root.tar.gz https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_MAJOR}/wasi-sysroot-${WASI_VERSION}.tar.gz || exit 1
(
cd ~/Downloads/wasi
tar xzvf wasi-sdk.tar.gz
tar xzvf wasi-root.tar.gz
mv wasi-sysroot wasi-sysroot-${WASI_VERSION}
)
fi
export CFLAGS="-D_WASI_EMULATED_SIGNAL -O2 -D__wasi__=1"
export CFLAGS="${CFLAGS} -D_WASI_EMULATED_PROCESS_CLOCKS=1"
cp -f dist/plugins-cfg/plugins.wasi.cfg plugins.cfg
echo "WASI_SDK=$WASI_SDK"
# export CC="${WASI_SDK}/bin/clang -D
ERR=0
./configure --with-static-themes --without-gperf --with-compiler=wasi --disable-debugger --without-fork --with-ostype=wasi --with-checks-level=0 --disable-threads --without-dylink --with-libr --without-gpl
make -j
R2V=`./configure -qV`
D="radare2-$R2V-wasi"
mkdir -p $D
for a in rax2 radare2 rasm2 rabin2 rafind2 ; do
make -C binr/$a
cp -f binr/$a/$a.wasm $D || ERR=1
done
# for a in $D/*.wasm ; do
# echo "Optimizing $a ..."
# wasm-opt -o $a.o3.wasm -O3 $a
# done
zip -r "$D".zip $D
exit $ERR