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 <