mirror of
https://github.com/radareorg/radare2.git
synced 2024-10-07 18:43:45 +00:00
45 lines
1.3 KiB
Bash
Executable File
45 lines
1.3 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
export WASI_SDK=${HOME}/Downloads/wasi/wasi-sdk-12.0
|
|
export WASI_SYSROOT=${HOME}/Downloads/wasi/wasi-sysroot
|
|
|
|
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
|
|
wget -c -O ~/Downloads/wasi/wasi-sdk.tar.gz https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-12/wasi-sdk-12.0-$OS.tar.gz || exit 1
|
|
wget -c -O ~/Downloads/wasi/wasi-root.tar.gz https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-12/wasi-sysroot-12.0.tar.gz || exit 1
|
|
(
|
|
cd ~/Downloads/wasi
|
|
tar xzvf wasi-sdk.tar.gz
|
|
tar xzvf wasi-root.tar.gz
|
|
)
|
|
fi
|
|
|
|
export CFLAGS="-D_WASI_EMULATED_SIGNAL -O2"
|
|
|
|
cp dist/plugins-cfg/plugins.wasi.cfg plugins.cfg
|
|
|
|
# export CC="${WASI_SDK}/bin/clang -D
|
|
ERR=0
|
|
./configure --without-gperf --with-compiler=wasi --disable-debugger --without-fork --with-ostype=wasi --with-checks-level=0 --disable-threads --without-dylink --with-libr --without-libuv --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
|