From d389c253aa18dfa2978d9acd0356131ee97c39a8 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 0696a741..714ca866 100755
--- a/docker/02-apt-get-install.sh
+++ b/docker/02-apt-get-install.sh
@@ -93,6 +93,7 @@ apt-get install -y \
     libopenal-dev \
     libopenmpi-dev \
     libpango1.0-dev \
+    libpapi-dev \
     libpcap0.8-dev \
     libpcre2-dev \
     libpq-dev \