mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-24 07:32:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Remove plugin build script in favor of build.rs plugin builder

Browse source
This commit is contained in:
Isaac Clayton 2022-07-11 16:59:59 +02:00
parent 0bdbbdd9b6
commit 1dd92c3c28
1 changed files with 0 additions and 46 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

46
script/build-plugins
View file

@ -1,46 +0,0 @@
#!/bin/bash
set -e
# echo "Clearing cached plugins..."
# cargo clean --manifest-path plugins/Cargo.toml
echo "Building Wasm plugins..."
# cargo build --release --target wasm32-unknown-unknown --manifest-path plugins/Cargo.toml
cargo build --release --target wasm32-wasi --manifest-path plugins/Cargo.toml
echo
echo "Extracting binaries..."
rm -rf plugins/bin
mkdir plugins/bin
for f in plugins/target/wasm32-wasi/release/*.wasm
do
name=$(basename $f)
cp $f plugins/bin/$name
echo "- Extracted plugin $name"
done
echo
echo "Creating .wat versions (for human inspection)..."
for f in plugins/bin/*.wasm
do
name=$(basename $f)
base=$(echo $name | sed "s/\..*//")
wasm2wat $f --output plugins/bin/$base.wat
echo "- Converted $base.wasm -> $base.wat"
done
echo
echo "Optimizing plugins using wasm-opt..."
for f in plugins/bin/*.wasm
do
name=$(basename $f)
wasm-opt -Oz $f --output $f
echo "- Optimized $name"
done
echo
echo "Done!"