From 5319b38560f4ac828ccdb78e76b190181d8fb48d Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Wed, 11 Oct 2023 17:19:05 -0500
Subject: [PATCH] build

---
 utils/builder.Dockerfile | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/utils/builder.Dockerfile b/utils/builder.Dockerfile
index 261291a..bc6ea1f 100644
--- a/utils/builder.Dockerfile
+++ b/utils/builder.Dockerfile
@@ -1,5 +1,25 @@
 FROM git.mzhang.io/michael/agda:2.6.4-x86_64
 
-FROM node:18-alpine
+FROM node:18-alpine AS node
+RUN apk add --update git
+RUN npm install -g pnpm
+
+FROM node AS astro-build
+WORKDIR /tmp
+RUN git clone https://git.mzhang.io/michael/astro --depth 1
+WORKDIR /tmp/astro
+RUN pnpm install
+RUN pnpm run build
+RUN rm -rf node_modules
+
+
+FROM node
 COPY --from=0 /usr/bin/agda /usr/bin/agda
 COPY --from=0 /agda/.stack-work/install/x86_64-linux-musl/099dc152e5f5edaf6e084b385953a851d037c26c20471a6eefaa57c4704a9540/9.4.7/share/x86_64-linux-ghc-9.4.7/Agda-2.6.4/lib /agda/.stack-work/install/x86_64-linux-musl/099dc152e5f5edaf6e084b385953a851d037c26c20471a6eefaa57c4704a9540/9.4.7/share/x86_64-linux-ghc-9.4.7/Agda-2.6.4/lib
+
+COPY --from=astro-build /tmp/astro /tmp/astro
+WORKDIR /tmp/astro
+RUN pnpm link --global
+
+WORKDIR /
+