From 4b6fc95f0ee4ee4d484ed0f2fc9dc243f10a2350 Mon Sep 17 00:00:00 2001
From: kskarthik <11899221+kskarthik@users.noreply.github.com>
Date: Sun, 7 Jan 2024 23:07:10 +0530
Subject: [PATCH] add Dockerfile (#131)

---
 Dockerfile | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 Dockerfile

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 000000000..49e194a04
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,30 @@
+FROM rust:slim as build
+
+COPY . /steel/
+
+WORKDIR /steel
+
+RUN apt update && \
+		apt install -y \
+		build-essential \
+		libssl-dev \
+		openssl \
+		pkg-config
+
+RUN mkdir -p /lib/steel/
+
+ENV STEEL_HOME="/lib/steel"
+
+RUN cargo build
+
+RUN cargo run -- cogs/install.scm
+
+FROM rust:slim
+
+COPY --from=build /steel/target/debug/steel /usr/local/bin
+
+COPY --from=build /lib/steel /lib/
+
+ENV STEEL_HOME="/lib/steel"
+
+CMD ["steel"]