michael/blog
1
0
Fork 0
Code Issues 2 Pull requests Releases Packages 1 Wiki Activity

build agda
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details

Browse source
This commit is contained in:
Michael Zhang 2023-10-11 16:16:32 -05:00
parent 11e1601426
commit efd0b420dd
2 changed files with 24 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
utils/agda.Dockerfile
View file

@ -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

4
utils/builder.Dockerfile
View file

@ -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