sha256:1e6ffb83340649e724f5b45396ff739433ff146a8e85aef86e28b1e999124153
OS/ARCH
Compressed size
580.11 MB
Last pushed
24 days by doijanky
Type
Image
Vulnerabilities
Manifest digest
sha256:4b79f1c4c7bd8c9622f7689a4cea2d962243fae0e6fb1a04d605bd9c8ef7418f
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
106.39 MB
3
ARG STACK=3.3.1
0 B
4
ARG STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
0 B
5
RUN |2 STACK=3.3.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='bdd618ea5a9c921417727011f2ecd78987dffa5cee5e741108baf65a9b5b58ab'; ;; 'x86_64') STACK_SHA256='88d7e517342c125b0a098d9d578fe53e590618ae4b2427283a27408a1ebd06d8'; ;; *) 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
22.22 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.3.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-deb11.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='5e8c47a055d5b744741039a7061ee43ec7d080d1251784e7a4cd836403e42523'; ;; 'x86_64') CABAL_INSTALL_SHA256='41b85bb25fa654e4b79169014b9142fe696ff35e002e043caa0e52d65204ba8a'; ;; *) 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
7.61 MB
9
ARG GHC=9.10.3
0 B
10
ARG GHC_RELEASE_KEY=88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4
0 B
11
RUN |6 STACK=3.3.1 STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442 CABAL_INSTALL=3.14.1.1 CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF GHC=9.10.3 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-deb11-linux.tar.xz"; case "$ARCH" in 'aarch64') GHC_SHA256='052789dfe7f6fba6dc3822de0da272e8a5bd358c37adae17d8e82cff39bc1008'; ;; 'x86_64') GHC_SHA256='b6bbd3514e0cdb9db350812a003bb7c670c58d99779086fbe41092b019548924'; ;; *) 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
441.8 MB
12
ENV PATH=/root/.cabal/bin:/root/.local/bin:/opt/ghc/9.10.3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
0 B
13
CMD ["ghci"]
0 B