haskell:9.12
sha256:4bcc0b936736a6f55653242dc39644ba997fe8be371ebaf17d4e98c946d2365b
OS/ARCH
Compressed size
792.78 MB
Last pushed
about 23 hours by doijanky
Type
Image
Vulnerabilities
Manifest digest
sha256:58a0cb935f539121a0f9591b8b273c8d4189784dad7b7bfe62af0f9389dd3e8d
Layers (14)
debian:d257190a0a5c12c3be921d5853aac638cf993875e317cca891a520f66543e523
haskell:9.12
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.73 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.14.1.1
0 B
7
ARG CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF
0 B
8
RUN |4 STACK=3.11.1 STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442 CABAL_INSTALL=3.14.1.1 CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF /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='f763fb2af2bc1ff174b7361a7d51109a585954f87a0e14f86d144f3bce28f7a9'; ;; 'x86_64') CABAL_INSTALL_SHA256='73a463306c771e18ca22c0a9469176ffab0138ec5925adb5364ef47174e1adc5'; ;; *) 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
13.97 MB
9
ARG GHC=9.12.4
0 B
10
ARG GHC_RELEASE_KEY=88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4
0 B
11
RUN |6 STACK=3.11.1 STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442 CABAL_INSTALL=3.14.1.1 CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF GHC=9.12.4 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='8d093562f4d54b69fc57f94c021138d8595554407bc2828962cf6bdd394a6c97'; ;; 'x86_64') GHC_SHA256='cdc60a66f1c89604975c896b3c7577b079b602d8fb093af0f4b2b0912fa47bd1'; ;; *) 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
597.65 MB
12
ENV PATH=/root/.cabal/bin:/root/.local/bin:/opt/ghc/9.12.4/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
0 B
13
CMD ["ghci"]
0 B