Add cmake as well

model-checking · Oct 23, 2023 · fa2dd4d · fa2dd4d
1 parent f02fe0e
commit fa2dd4d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/setup/al2/install_deps.sh b/scripts/setup/al2/install_deps.sh
@@ -6,6 +6,8 @@ set -eu
 
 # Dependencies.
 DEPS=(
+ cmake
+ cmake3
  git
  openssl-devel
  python3-pip