mirror of
https://github.com/radareorg/radare2.git
synced 2024-11-23 13:19:54 +00:00
54 lines
1.6 KiB
Bash
Executable File
54 lines
1.6 KiB
Bash
Executable File
#!/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"
|
|
|
|
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
|