From 948c98241854b2c6ede19df48e7c4126ce24abe1 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Wed, 11 Oct 2023 17:30:50 -0500 Subject: [PATCH] add packages --- utils/builder.Dockerfile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/utils/builder.Dockerfile b/utils/builder.Dockerfile index bc6ea1f..6d12c02 100644 --- a/utils/builder.Dockerfile +++ b/utils/builder.Dockerfile @@ -18,7 +18,9 @@ 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 +WORKDIR /tmp/astro/packages/astro +RUN pnpm link --global +WORKDIR /tmp/astro/packages/markdown/remark RUN pnpm link --global WORKDIR /