From 62f74d59790e941d1cdb5336beff4e0ad8bb7b08 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= <ole.schuett@cp2k.org>
Date: Fri, 13 Dec 2019 23:50:45 +0100
Subject: [PATCH] Docker: Add python3-dev to formatting

---
 tools/docker/scripts/install_formatting.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/docker/scripts/install_formatting.sh b/tools/docker/scripts/install_formatting.sh
index 00f88ba12e..9ec1859a44 100755
--- a/tools/docker/scripts/install_formatting.sh
+++ b/tools/docker/scripts/install_formatting.sh
@@ -6,10 +6,11 @@
 apt-get update -qq
 apt-get install -qq --no-install-recommends \
     libfindbin-libs-perl                    \
+    build-essential                         \
     make                                    \
     perl                                    \
     python                                  \
-    python3-{pip,setuptools,wheel}
+    python3-{pip,setuptools,wheel,dev}
 
 rm -rf /var/lib/apt/lists/*
 
@@ -19,3 +20,5 @@ pip3 install pre-commit
 # register the pre-commit hooks
 cd /workspace/cp2k
 pre-commit install --install-hooks
+
+#EOF