From 587615c46568d8f0e2af1178c3ff49fd4193258b Mon Sep 17 00:00:00 2001
From: Sean McBride <spmcbride1201@gmail.com>
Date: Wed, 2 Mar 2022 12:00:12 -0500
Subject: [PATCH] chore: Add missing dependencies

---
 install_deb.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/install_deb.sh b/install_deb.sh
index 82abbb7..b9e283a 100755
--- a/install_deb.sh
+++ b/install_deb.sh
@@ -15,6 +15,7 @@ apt-get update && apt-get install -y --no-install-recommends \
 	imagemagick \
 	jq \
 	libz3-4 \
+	make \
 	netpbm \
 	pango1.0-tools \
 	wamerican
@@ -29,5 +30,7 @@ wget $SHELLCHECK_URL -O shellcheck && chmod +x shellcheck && sudo mv shellcheck
 
 curl -sS -L -O $WASI_SDK_URL && dpkg -i wasi-sdk_12.0_amd64.deb && rm -f wasi-sdk_12.0_amd64.deb
 
+ curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | bash -s -- -y
+
 echo "Add WASI_SDK_PATH to your bashrc and resource!"
 echo "Example: export WASI_SDK_PATH=/opt/wasi-sdk"