mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-16 09:20:24 +03:00
dfae4580e3
Add support for TLS connections in both the rpc server and client. Allow the client to disable certificate validation via the `verify` keyword argument, i.e., `cryptol.connect(verify=False)`. The docker container for `cryptol-remote-api` also contains a self-signed cert for testing purposes. Co-authored-by: Andrew Kent <andrew@galois.com>
31 lines
937 B
Docker
31 lines
937 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.3"
|
|
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.14/x86_64-linux-ghcup-0.1.14" && \
|
|
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}
|