From f96865edd1b4a3c3905b817ef929853dca797105 Mon Sep 17 00:00:00 2001
From: konsti <konstin@mailbox.org>
Date: Tue, 7 Nov 2023 12:38:58 +0100
Subject: [PATCH] Add `python3-dev` to builder.dockerfile (#352)

Surprisingly few builds want `Python.h`, but they exist
---
 builder.dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/builder.dockerfile b/builder.dockerfile
index 9994ba4b8..ad8d59a3a 100644
--- a/builder.dockerfile
+++ b/builder.dockerfile
@@ -6,6 +6,7 @@ FROM ubuntu:22.04
 RUN apt-get update \
     && apt-get install -y --no-install-recommends \
         python3 \
+        python3-dev \
         python3-pip \
         python3-venv \
         build-essential \