From a7502ce9e2dcf1d9337da78bad8da1979cf90382 Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Thu, 11 Jul 2024 13:02:39 +0800
Subject: [PATCH] docker: add libpapi for tasty-papi

---
 docker/02-apt-get-install.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/02-apt-get-install.sh b/docker/02-apt-get-install.sh
index 56ccf6ee..bdb1bcb6 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -94,6 +94,7 @@ apt-get install -y \
     libopenal-dev \
     libopenmpi-dev \
     libpango1.0-dev \
+    libpapi-dev \
     libpcap0.8-dev \
     libpcre2-dev \
     libpq-dev \