Skip to content

Commit

Permalink
Install rustup too
Browse files Browse the repository at this point in the history
  • Loading branch information
@adpaco-aws
adpaco-aws committed Oct 23, 2023
1 parent 23949e2 commit 585be2e
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions scripts/setup/al2/install_deps.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 585be2e

Please sign in to comment.