From 585be2e1b0b6ea23f27b09d13b7ea2a180228c31 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Mon, 23 Oct 2023 14:45:59 -0400
Subject: [PATCH] Install rustup too

---
 scripts/setup/al2/install_deps.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/setup/al2/install_deps.sh b/scripts/setup/al2/install_deps.sh
index 01675fc65774..0010aa58bab4 100755
--- a/scripts/setup/al2/install_deps.sh
+++ b/scripts/setup/al2/install_deps.sh
@@ -33,3 +33,4 @@ ${SCRIPT_DIR}/install_cbmc.sh
 ${SCRIPT_DIR}/install_viewer.sh
 # The Kissat installation script is platform-independent, so is placed one level up
 ${SCRIPT_DIR}/../install_kissat.sh
+${SCRIPT_DIR}/../install_rustup.sh