hasufell/ghc-mod
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

scripts: Update docker images to required c-i-1.24

Browse Source
This commit is contained in:
Daniel Gröber 2017-09-18 18:35:09 +02:00
parent 9b3f346807
commit 0ab98ebcb6
1 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
scripts/docker.sh
View File

@ -64,7 +64,7 @@ $ADDITIONAL_COMMANDS
RUN apt-get update && apt-get upgrade && \ RUN apt-get update && apt-get upgrade && \
apt-get install -y --no-install-recommends \ apt-get install -y --no-install-recommends \
wget git xz-utils gpgv ca-certificates build-essential libgmp3-dev zlib1g-dev $ADDITIONAL_PACKAGES && \ alex happy wget git xz-utils gpgv ca-certificates build-essential libgmp3-dev zlib1g-dev $ADDITIONAL_PACKAGES && \
apt-get clean apt-get clean
RUN tar -xf ghc-*.tar.* && \ RUN tar -xf ghc-*.tar.* && \
cd ghc-* && ./configure --prefix=/usr/local && make install && cd .. && \ cd ghc-* && ./configure --prefix=/usr/local && make install && cd .. && \
@ -81,10 +81,13 @@ EOF
done <<EOF done <<EOF
8.2.1 8.2.1 x86_64-deb8-linux xz 2.0.0.0 0 debian:jessie 8.2.1 8.2.1 x86_64-deb8-linux xz 2.0.0.0 0 debian:jessie
8.0.2 8.0.2 x86_64-deb8-linux xz 1.24.0.2 0 debian:jessie 8.0.2 8.0.2 x86_64-deb8-linux xz 1.24.0.2 0 debian:jessie
7.10.3 7.10.3 x86_64-deb8-linux xz 1.22.9.0 0 debian:jessie 7.10.3 7.10.3 x86_64-deb8-linux xz 1.24.0.2 0 debian:jessie
7.8.4 7.8.4 x86_64-unknown-linux-deb7 xz 1.18.2.0 0 debian:jessie 7.8.4 7.8.4 x86_64-unknown-linux-deb7 xz 1.24.0.2 0 debian:jessie
7.6.3 7.6.3 x86_64-unknown-linux bz2 1.18.2.0 0 debian:squeeze
7.4.2 7.4.2 x86_64-unknown-linux bz2 1.18.2.0 0 debian:squeeze
7.2.2 7.2.2 x86_64-unknown-linux bz2 1.18.2.0 0 debian:squeeze
7.0.4 7.0.4 x86_64-unknown-linux bz2 1.18.2.0 0 debian:squeeze
EOF EOF
# 7.10.3 7.10.3 x86_64-deb8-linux xz 1.22.9.0 0 debian:jessie
# 7.8.4 7.8.4 x86_64-unknown-linux-deb7 xz 1.18.2.0 0 debian:jessie
# 7.6.3 7.6.3 x86_64-unknown-linux bz2 1.18.2.0 0 debian:squeeze
# 7.4.2 7.4.2 x86_64-unknown-linux bz2 1.18.2.0 0 debian:squeeze
# 7.2.2 7.2.2 x86_64-unknown-linux bz2 1.18.2.0 0 debian:squeeze
# 7.0.4 7.0.4 x86_64-unknown-linux bz2 1.18.2.0 0 debian:squeeze