mirror of
https://github.com/logos-storage/zk-benchmarks.git
synced 2026-05-20 16:49:29 +00:00
minor improvements in the Dockerfile
This commit is contained in:
parent
8b52621e14
commit
fa4f5313df
8
base-image/Dockerfile
Executable file → Normal file
8
base-image/Dockerfile
Executable file → Normal file
@ -4,7 +4,7 @@ SHELL ["/bin/bash", "--rcfile", "/root/.bashrc", "-lc"]
|
|||||||
# === install some basic tools and libs ===
|
# === install some basic tools and libs ===
|
||||||
|
|
||||||
RUN apt-get -y update && \
|
RUN apt-get -y update && \
|
||||||
apt-get -y install curl wget vim less build-essential git \
|
apt-get -y install curl wget vim less build-essential git \
|
||||||
libgmp-dev zlib1g zlib1g-dev pkg-config libffi-dev \
|
libgmp-dev zlib1g zlib1g-dev pkg-config libffi-dev \
|
||||||
libdigest-sha3-perl
|
libdigest-sha3-perl
|
||||||
|
|
||||||
@ -85,12 +85,10 @@ RUN cd /tmp && \
|
|||||||
BOOTSTRAP_HASKELL_NONINTERACTIVE=1 sh ./install_ghcup && \
|
BOOTSTRAP_HASKELL_NONINTERACTIVE=1 sh ./install_ghcup && \
|
||||||
source /root/.ghcup/env && \
|
source /root/.ghcup/env && \
|
||||||
echo -e "\nsource /root/.ghcup/env" >>$HOME/.bashrc && \
|
echo -e "\nsource /root/.ghcup/env" >>$HOME/.bashrc && \
|
||||||
ghcup --version >/zk/versions/ghcup.txt
|
ghcup --version >/zk/versions/ghcup.txt && \
|
||||||
|
rm /tmp/install_ghcup
|
||||||
|
|
||||||
RUN source /root/.ghcup/env && \
|
RUN source /root/.ghcup/env && \
|
||||||
ghc --version >/zk/versions/ghc.txt && \
|
|
||||||
cabal --version >/zk/versions/cabal.txt && \
|
|
||||||
rm /tmp/install_ghcup && \
|
|
||||||
ghcup upgrade && \
|
ghcup upgrade && \
|
||||||
ghcup install cabal 2.4.1.0 && \
|
ghcup install cabal 2.4.1.0 && \
|
||||||
ghcup set cabal 2.4.1.0 && \
|
ghcup set cabal 2.4.1.0 && \
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user