From 75da96e684252e4605d213ab8193388457312029 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Gr=C3=B6ber?= Date: Sun, 10 Dec 2017 16:42:15 +0100 Subject: [PATCH] scripts: Add GHC 8.2.2 docker image --- scripts/docker.sh | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/scripts/docker.sh b/scripts/docker.sh index bba2500..de8aedd 100755 --- a/scripts/docker.sh +++ b/scripts/docker.sh @@ -1,5 +1,8 @@ #!/bin/sh +# Usage: ./docker.sh [GHC_VER] +# Example: ./docker.sh 8.2.2 + namespace="registry.gitlab.com/dxld/ghc-mod" target="$1" @@ -64,9 +67,9 @@ WORKDIR /root $ADDITIONAL_COMMANDS -RUN apt-get update && apt-get upgrade && \ +RUN apt-get update && apt-get upgrade -y && \ apt-get install -y --no-install-recommends \ - alex happy 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 libtinfo-dev zlib1g-dev $ADDITIONAL_PACKAGES && \ apt-get clean RUN tar -xf ghc-*.tar.* && \ cd ghc-* && ./configure --prefix=/usr/local && make install && cd .. && \ @@ -82,6 +85,7 @@ EOF docker build -t "${namespace}:ghc${ghc}-cabal-install${cabal}" "$tmpdir" done <