From 49ee4ff42d1e2a24ce415b4dd5d9253aa9ddcb5a Mon Sep 17 00:00:00 2001
From: Ludwig Lehnert <info@ludwig-lenert.de>
Date: Sat, 2 Mar 2024 13:53:56 +0100
Subject: [PATCH] added dev dockerfile

---
 compiler/dev.Dockerfile | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 compiler/dev.Dockerfile

diff --git a/compiler/dev.Dockerfile b/compiler/dev.Dockerfile
new file mode 100644
index 0000000..b1d22a9
--- /dev/null
+++ b/compiler/dev.Dockerfile
@@ -0,0 +1,10 @@
+FROM ubuntu:latest
+
+RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
+    && apt-get -y install --no-install-recommends \
+    cmake clang \
+    llvm-15 llvm-15-dev llvm-15-doc llvm-15-tools \
+    mlir-15-tools libmlir-15 libmlir-15-dev \
+    libboost-dev libboost-doc
+
+