haskell:9.14.1
sha256:1cd055240816dbe33a636948282b5ce755d79ac6bcc04cfb3327042acd1ff65c
OS/ARCH
Compressed size
789.76 MB
Last pushed
22 days by doijanky
Type
Image
Vulnerabilities
Manifest digest
sha256:60969533500afd9859072d2f6cbe815d82bfbaab03cb5bdea3a0700609793772
Layers (14)
debian:34115c962e7e3ffcd96bb2d1d043b8194f14b1f7e6815b48e6e349baf8d3380a
haskell:9.14.1
1
ENV LANG=C.UTF-8
0 B
2
RUN /bin/sh -c apt-get update && apt-get install -y --no-install-recommends ca-certificates curl dpkg-dev git gcc gnupg g++ libc6-dev libffi-dev libgmp-dev libnuma-dev libtinfo-dev make netbase xz-utils zlib1g-dev && rm -rf /var/lib/apt/lists/* # buildkit
146.71 MB
3
ARG STACK=3.11.1
0 B
4
ARG STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
0 B
5
RUN |2 STACK=3.11.1 STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442 /bin/sh -c set -eux; cd /tmp; ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; STACK_URL="https://github.com/commercialhaskell/stack/releases/download/v${STACK}/stack-${STACK}-linux-$ARCH.tar.gz"; case "$ARCH" in 'aarch64') STACK_SHA256='1617ae9976a5cd38ad4daec583b026b589eb45d5482afb045cd4ca8c8d0de6d0'; ;; 'x86_64') STACK_SHA256='1fda71e657cd8d355625cc66b61b352699279dfee2664c014a392163bd19a952'; ;; *) echo >&2 "error: unsupported architecture '$ARCH'"; exit 1 ;; esac; curl -sSL "$STACK_URL" -o stack.tar.gz; echo "$STACK_SHA256 stack.tar.gz" | sha256sum --strict --check; curl -sSL "$STACK_URL.asc" -o stack.tar.gz.asc; GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$STACK_RELEASE_KEY"; gpg --batch --verify stack.tar.gz.asc stack.tar.gz; gpgconf --kill all; tar -xf stack.tar.gz -C /usr/local/bin --strip-components=1 "stack-$STACK-linux-$ARCH/stack"; stack config set system-ghc --global true; stack config set install-ghc --global false; rm -rf /tmp/*; stack --version; # buildkit
24.55 MB
6
ARG CABAL_INSTALL=3.16.1.0
0 B
7
ARG CABAL_INSTALL_RELEASE_KEY=1E07C9A1A3088BAD47F74A3E227EE1942B0BDB95
0 B
8
RUN |4 STACK=3.11.1 STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442 CABAL_INSTALL=3.16.1.0 CABAL_INSTALL_RELEASE_KEY=1E07C9A1A3088BAD47F74A3E227EE1942B0BDB95 /bin/sh -c set -eux; cd /tmp; ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; CABAL_INSTALL_TAR="cabal-install-$CABAL_INSTALL-$ARCH-linux-deb12.tar.xz"; CABAL_INSTALL_URL="https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/$CABAL_INSTALL_TAR"; CABAL_INSTALL_SHA256SUMS_URL="https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/SHA256SUMS"; case "$ARCH" in 'aarch64') CABAL_INSTALL_SHA256='41d8fc43de1c652c00d85799d0273f8b6600bc71603126bc651ca4e3917a1b84'; ;; 'x86_64') CABAL_INSTALL_SHA256='209987f6abdd1119f6b2674a0d1012857a783464774708cb4f3fd9e156ea7bea'; ;; *) echo >&2 "error: unsupported architecture '$ARCH'"; exit 1 ;; esac; curl -fSL "$CABAL_INSTALL_URL" -o cabal-install.tar.gz; echo "$CABAL_INSTALL_SHA256 cabal-install.tar.gz" | sha256sum --strict --check; curl -sSLO "$CABAL_INSTALL_SHA256SUMS_URL"; curl -sSLO "$CABAL_INSTALL_SHA256SUMS_URL.sig"; GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$CABAL_INSTALL_RELEASE_KEY"; gpg --batch --verify SHA256SUMS.sig SHA256SUMS; grep "$CABAL_INSTALL_SHA256 $CABAL_INSTALL_TAR" SHA256SUMS; gpgconf --kill all; tar -xf cabal-install.tar.gz -C /usr/local/bin; rm -rf /tmp/*; cabal --version # buildkit
15.94 MB
9
ARG GHC=9.14.1
0 B
10
ARG GHC_RELEASE_KEY=88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4
0 B
11
RUN |6 STACK=3.11.1 STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442 CABAL_INSTALL=3.16.1.0 CABAL_INSTALL_RELEASE_KEY=1E07C9A1A3088BAD47F74A3E227EE1942B0BDB95 GHC=9.14.1 GHC_RELEASE_KEY=88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4 /bin/sh -c set -eux; cd /tmp; ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; GHC_URL="https://downloads.haskell.org/~ghc/$GHC/ghc-$GHC-$ARCH-deb12-linux.tar.xz"; case "$ARCH" in 'aarch64') GHC_SHA256='6aa27a377451851c851eefdd869e8f5a9217b02ce66c6ca9b418b72efee28427'; ;; 'x86_64') GHC_SHA256='60f7ab75f28df892729fbaff3a54f58ee3ad7e731929f1b2f3eb0208f73de841'; ;; *) echo >&2 "error: unsupported architecture '$ARCH'" ; exit 1 ;; esac; curl -sSL "$GHC_URL" -o ghc.tar.xz; echo "$GHC_SHA256 ghc.tar.xz" | sha256sum --strict --check; GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; curl -sSL "$GHC_URL.sig" -o ghc.tar.xz.sig; gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$GHC_RELEASE_KEY"; gpg --batch --verify ghc.tar.xz.sig ghc.tar.xz; gpgconf --kill all; tar xf ghc.tar.xz; cd "ghc-$GHC-$ARCH-unknown-linux"; ./configure --prefix "/opt/ghc/$GHC"; make install; rm -rf /tmp/*; "/opt/ghc/$GHC/bin/ghc" --version # buildkit
592.54 MB
12
ENV PATH=/root/.cabal/bin:/root/.local/bin:/opt/ghc/9.14.1/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
0 B
13
CMD ["ghci"]
0 B