From 1dd92c3c282a46c457db93d28f7421b0ceb4cafa Mon Sep 17 00:00:00 2001
From: Isaac Clayton <slightknack@gmail.com>
Date: Mon, 11 Jul 2022 16:59:59 +0200
Subject: [PATCH] Remove plugin build script in favor of build.rs plugin
 builder

---
 script/build-plugins | 46 --------------------------------------------
 1 file changed, 46 deletions(-)
 delete mode 100755 script/build-plugins

diff --git a/script/build-plugins b/script/build-plugins
deleted file mode 100755
index 32f9cedc14..0000000000
--- a/script/build-plugins
+++ /dev/null
@@ -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!"
\ No newline at end of file