CI: Try to install newer wasm2wat & wat2wasm

scrtlabs · Aug 8, 2023 · dc1fd07 · dc1fd07
1 parent 2db8a95
commit dc1fd07
Showing 1 changed file with 1 addition and 13 deletions.
diff --git a/scripts/install-wasm-tools.sh b/scripts/install-wasm-tools.sh
@@ -81,19 +81,7 @@ cargo install pwasm-utils-cli --bin wasm-prune --force
 if [[ "$OSTYPE" == "linux-gnu" ]]; then
 	set -e
 
-	tmp=`mktemp -d`
-	pushd $tmp > /dev/null
-
-	echo "Downloading wabt-1.0.33-ubuntu.tar.gz";
-	wget https://github.com/WebAssembly/wabt/releases/download/1.0.33/wabt-1.0.33-ubuntu.tar.gz
-
-	tar --strip-components=2 -xf wabt-1.0.33-ubuntu.tar.gz wabt-1.0.33/bin/wasm2wat wabt-1.0.33/bin/wat2wasm
-
-	echo "Installing wasm2wat & wat2wasm into ~/.cargo/bin"
-	cp -f wasm2wat ~/.cargo/bin/
-	cp -f wat2wasm ~/.cargo/bin/
-
-	popd > /dev/null
+	apt-get install -y wabt
 fi
 
 echo ""