mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 01:41:09 +03:00
This converts the `cryptol-remote-api` Dockerfiles to use GHC 8.10.7 instead of GHC 8.10.3, now that we have switched over to using 8.10.7 in the CI. This also updates `cryptol-remote-api`'s `ghc.portability` patch to use the 8.10.7 branch of GHC. Fixes #1347.
31 lines
941 B
Docker
31 lines
941 B
Docker
|
|
FROM gitpod/workspace-full
|
|
|
|
# Install docker buildx plugin
|
|
RUN mkdir -p ~/.docker/cli-plugins && \
|
|
wget \
|
|
https://github.com/docker/buildx/releases/download/v0.5.1/buildx-v0.5.1.linux-amd64 \
|
|
-O ~/.docker/cli-plugins/docker-buildx && \
|
|
chmod a+x ~/.docker/cli-plugins/docker-buildx
|
|
|
|
USER root
|
|
|
|
# Install Dropbear SSH server
|
|
RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -yq \
|
|
dropbear \
|
|
&& apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/*
|
|
|
|
# Install Chisel
|
|
RUN curl https://i.jpillora.com/chisel! | bash
|
|
|
|
# Install GHC
|
|
ARG GHCVER="8.10.7"
|
|
ENV GHCUP_INSTALL_BASE_PREFIX=/opt \
|
|
PATH=/opt/.ghcup/bin:$PATH
|
|
RUN curl -o /usr/local/bin/ghcup "https://downloads.haskell.org/~ghcup/0.1.17.7/x86_64-linux-ghcup-0.1.17.7" && \
|
|
chmod +x /usr/local/bin/ghcup
|
|
RUN ghcup install cabal --set
|
|
ENV PATH=/root/.cabal/bin:$PATH
|
|
RUN ghcup install ghc ${GHCVER} && \
|
|
ghcup set ghc ${GHCVER}
|