From efd0b420dd7d1ed07365c738f5830d59600196fc Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Wed, 11 Oct 2023 16:16:32 -0500 Subject: [PATCH] build agda --- utils/agda.Dockerfile | 29 ++++++++++++++++++++++------- utils/builder.Dockerfile | 4 ++-- 2 files changed, 24 insertions(+), 9 deletions(-) diff --git a/utils/agda.Dockerfile b/utils/agda.Dockerfile index e290126..88a6f98 100644 --- a/utils/agda.Dockerfile +++ b/utils/agda.Dockerfile @@ -1,8 +1,23 @@ -FROM haskell:9-buster -RUN cabal update -RUN cabal install --global Agda-2.6.4 +# FROM haskell:9-slim-buster +# RUN cabal update +# RUN cabal install --global Agda-2.6.4 +# +# FROM debian:buster-slim +# COPY --from=0 /root/.cabal/bin/agda /usr/bin/agda +# COPY --from=0 /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib +# CMD ["agda", "--interactive"] -FROM debian:buster -COPY --from=0 /root/.cabal/bin/agda /usr/bin/agda -COPY --from=0 /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib -CMD ["agda", "--interactive"] +FROM alpine AS base +ENV PATH /root/.local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin +RUN apk add --update curl alpine-sdk ncurses-dev gmp-dev zlib-dev + +FROM base AS agda-build +RUN curl -sSL https://get.haskellstack.org/ | sh +RUN stack install ghc-9.4.7 +RUN git clone --depth 1 --single-branch --branch v2.6.4 https://github.com/agda/agda +WORKDIR /agda +RUN stack --stack-yaml stack-9.4.7.yaml install + +FROM base +COPY --from=agda-build /root/.local/bin/agda /usr/bin/agda +COPY --from=agda-build /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 diff --git a/utils/builder.Dockerfile b/utils/builder.Dockerfile index 7fbf125..261291a 100644 --- a/utils/builder.Dockerfile +++ b/utils/builder.Dockerfile @@ -1,5 +1,5 @@ FROM git.mzhang.io/michael/agda:2.6.4-x86_64 -FROM node:18 +FROM node:18-alpine COPY --from=0 /usr/bin/agda /usr/bin/agda -COPY --from=0 /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib /root/.cabal/store/ghc-9.6.3/Agda-2.6.4-c592e701b6d172f37cf6e17790bc1993481dac7a9e29753b34c448a31924a9ab/share/lib +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