add Dockerfile (#131)

mattwparas · Jan 7, 2024 · 4b6fc95 · 4b6fc95
1 parent 03fe335
commit 4b6fc95
Showing 1 changed file with 30 additions and 0 deletions.
diff --git a/Dockerfile 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"]