From 53cca3beff17076631a19cdbdbb8149a1d1fb6de Mon Sep 17 00:00:00 2001
From: Sebastian Kuzminsky <seb@highlab.com>
Date: Thu, 4 Sep 2025 17:29:07 -0600
Subject: [PATCH] add a Dockerfile for building

---
 docker/Dockerfile | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 docker/Dockerfile

diff --git a/docker/Dockerfile b/docker/Dockerfile
new file mode 100644
index 0000000..9ff7dc3
--- /dev/null
+++ b/docker/Dockerfile
@@ -0,0 +1,25 @@
+FROM debian:testing
+
+RUN ( \
+    set -e; \
+    apt-get -yq update; \
+    apt-get -yq install \
+        build-essential \
+        curl \
+        mdbook \
+        plantuml \
+        vim-nox \
+    ; \
+    apt-get clean; \
+)
+
+ENV RUSTUP_HOME=/opt/rustup
+ENV CARGO_HOME=/opt/cargo
+
+RUN ( \
+    set -e; \
+    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y ; \
+    chmod 777 /opt/rustup /opt/cargo; \
+)
+
+ENV PATH="$PATH:$CARGO_HOME/bin"