From 0ab98ebcb6b5e3313bf3709516a51f5deb5f185f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Gr=C3=B6ber?= Date: Mon, 18 Sep 2017 18:35:09 +0200 Subject: [PATCH] scripts: Update docker images to required c-i-1.24 --- scripts/docker.sh | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/scripts/docker.sh b/scripts/docker.sh index f8dbd98..dc31f50 100755 --- a/scripts/docker.sh +++ b/scripts/docker.sh @@ -64,7 +64,7 @@ $ADDITIONAL_COMMANDS RUN apt-get update && apt-get upgrade && \ 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 RUN tar -xf ghc-*.tar.* && \ cd ghc-* && ./configure --prefix=/usr/local && make install && cd .. && \ @@ -81,10 +81,13 @@ EOF done <