From a9a5fdc6a7b56ff23da5a35a90b49e088573cc3c Mon Sep 17 00:00:00 2001 From: favonia Date: Sun, 19 Nov 2023 10:52:07 -0600 Subject: [PATCH] build: update Dockerfile --- Dockerfile | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/Dockerfile b/Dockerfile index 1b9bf69..7b527a2 100644 --- a/Dockerfile +++ b/Dockerfile @@ -21,16 +21,12 @@ RUN \ cabal v1-install --bindir=/dist --datadir=/dist --datasubdir=/dist/data --enable-executable-static #################################################################################################### -# Stage 2: Agda and 1lab (everything except agda-mugan) +# Stage 2: Download 1lab (everything except agda-mugan) #################################################################################################### -FROM alpine:edge AS ci +FROM alpine AS onelab -# We need gmp and ncurses because GHC doesn't statically link agda against GMP. -# We also need git to check out 1lab. -RUN apk add --no-cache gmp ncurses git - -COPY --from=agda /dist /dist +RUN apk add --no-cache git WORKDIR /dist/1lab RUN \ @@ -42,9 +38,10 @@ RUN echo "/dist/1lab/1lab.agda-lib" > /dist/libraries ############################################################################################################### -FROM alpine:edge +FROM scratch -COPY --from=ci /dist /dist +COPY --from=agda /dist /dist +COPY --from=onelab /dist /dist WORKDIR /build/agda-mugen COPY ["src", "/build/agda-mugen/src"]