/docker-jekyll-agda

Agda (using Haskell Stack, GHC 8.6.5) on jekyll/builder (on Alpine Linux)

Primary LanguageDockerfileMIT LicenseMIT

docker-jekyll-agda

Agda (using Haskell Stack, GHC 8.6.5) on jekyll/builder (on Alpine Linux)

See ednutting/jekyll-agda on Docker

See my other repositories for GHC-Up, GHC and Stack on Jekyll/builder.

Using this docker image

Don't FROM this image directly. You don't need to. You only need a subset of the files included in this image in order to use agda.

E.g.

WORKDIR /

ENV PATH=/root/.local/bin:$PATH
COPY --from=ednutting/jekyll-agda /agda/.stack-work/install /agda/.stack-work/install
COPY --from=ednutting/jekyll-agda /root/.local/bin/agda /root/.local/bin/agda

Note: Give your Docker instance 4 CPUs and 8GB RAM minimum or the build may randomly fail.