From df6e7efdd7957235ce2337310b590352a0a6c6ad Mon Sep 17 00:00:00 2001
From: "Antonio F. Trstenjak" <antoniostignjedec@gmail.com>
Date: Tue, 16 Jan 2024 20:03:18 +0100
Subject: [PATCH] More dependencies

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 726695f..95ccecb 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -5,7 +5,7 @@ USER root
 RUN apt-get update && \
     apt-get install -y curl zip unzip git wget docker.io \
     clang-13 clang-14 clang-15 clang-format-13 clang-format-14 clang-format-15 clang-tidy-13 clang-tidy-14 clang-tidy-15 \
-    openssl build-essential make gcc gcc-10 gcc-11 gcc-12 && \
+    openssl libssl-dev pkg-config build-essential make gcc gcc-10 gcc-11 gcc-12 && \
     rm -rf /var/lib/apt/lists/*
 
 USER runner