Remove the openssl-devel package from dependencies (#3852)

zhassan-aws · web-flow · commit 3e93311831f1 · 2025-01-24T18:21:38.000Z
I confirmed the `openssl-devel` package is not needed to build Kani
using fresh AL2 instances (both `aarch64` and `x86_64`).

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
diff --git a/scripts/setup/al2/install_deps.sh b/scripts/setup/al2/install_deps.sh
@@ -13,7 +13,6 @@ DEPS=(
   cmake3
   gcc10-c++
   git
-  openssl-devel
   wget
 )
 

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,6 @@ DEPS=(`
`13`	`13`	`cmake3`
`14`	`14`	`gcc10-c++`
`15`	`15`	`git`
`16`		`- openssl-devel`
`17`	`16`	`wget`
`18`	`17`	`)`
`19`	`18`