From fa26752913a559c202db696621f5709925053883 Mon Sep 17 00:00:00 2001
From: Noratrieb <48135649+Noratrieb@users.noreply.github.com>
Date: Mon, 21 Jul 2025 17:01:44 +0200
Subject: [PATCH] add docker images

---
 docker-images/build.sh            | 10 ++++++++++
 docker-images/debian12.Dockerfile |  3 +++
 2 files changed, 13 insertions(+)
 create mode 100755 docker-images/build.sh
 create mode 100644 docker-images/debian12.Dockerfile

diff --git a/docker-images/build.sh b/docker-images/build.sh
new file mode 100755
index 0000000..5a9b541
--- /dev/null
+++ b/docker-images/build.sh
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+p=$(dirname "$0")
+
+for dockerfile in "$p"/*.Dockerfile; do
+    imgname=$(basename "$dockerfile" .Dockerfile)
+    echo "Building $dockerfile"
+
+    docker build "$p" -t "$imgname:latest" -f "$dockerfile"
+done
diff --git a/docker-images/debian12.Dockerfile b/docker-images/debian12.Dockerfile
new file mode 100644
index 0000000..d5b7955
--- /dev/null
+++ b/docker-images/debian12.Dockerfile
@@ -0,0 +1,3 @@
+FROM debian:12
+
+RUN apt-get update && apt-get install -y build-essential clang git curl