2022-07-20 09:21:40 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# This is a hack to work around the fact that wasm-opt isn't available on
|
|
|
|
# Linux + aarch64
|
|
|
|
|
|
|
|
if [ "$(uname -m)" = "aarch64" ] && [ "$(uname -s)" = "Linux" ]; then
|
|
|
|
echo "#####################################"
|
|
|
|
echo " WASM-OPT NOT AVAILABLE"
|
|
|
|
echo ""
|
|
|
|
echo " Large WASM ahead."
|
|
|
|
echo "#####################################"
|
|
|
|
|
2023-03-02 03:47:23 +01:00
|
|
|
if [ "$(grep -oE 'wasm-opt.*' server/web_ui/Cargo.toml | awk '{print $NF}')" != "false" ]; then
|
|
|
|
echo "Updating server/web_ui/Cargo.toml to disable wasm-opt"
|
|
|
|
cat >> server/web_ui/Cargo.toml <<-EOM
|
2022-07-20 09:21:40 +02:00
|
|
|
[package.metadata.wasm-pack.profile.release]
|
|
|
|
wasm-opt = false
|
|
|
|
EOM
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|