Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit f4c06ca

Browse files
Totto16Totto16
committedDec 17, 2024··
feat: add version 9.12.1
this uses bookworm and bumps cabal to the first version, that supports bookworm and this version of ghc
1 parent 36206e8 commit f4c06ca

File tree

3 files changed

+280
-0
lines changed

3 files changed

+280
-0
lines changed
 

‎.github/workflows/debian.yml

+12
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,12 @@ jobs:
2727
ghc: ['9.10.1', '9.8.4', '9.6.6', '9.4.8', '9.2.8', '9.0.2' ]
2828
deb: ['buster', 'slim-buster']
2929
include:
30+
- ghc: '9.12.1'
31+
ghc_minor: '9.12'
32+
deb: 'slim-bookworm'
33+
- ghc: '9.12.1'
34+
ghc_minor: '9.12'
35+
deb: 'bookworm'
3036
- ghc: '9.10.1'
3137
ghc_minor: '9.10'
3238
deb: 'slim-bullseye'
@@ -88,6 +94,12 @@ jobs:
8894
deb: ['buster']
8995
arch: ['aarch64']
9096
include:
97+
# bookworm (debian 12)
98+
- ghc: '9.12.1'
99+
ghc_minor: '9.12'
100+
deb: 'bookworm'
101+
arch: 'aarch64'
102+
docker_platform: arm64
91103
# bullseye (debian 11)
92104
- ghc: '9.10.1'
93105
ghc_minor: '9.10'

‎9.12/bookworm/Dockerfile

+134
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,134 @@
1+
FROM debian:bookworm
2+
3+
ENV LANG C.UTF-8
4+
5+
# common haskell + stack dependencies
6+
RUN apt-get update && \
7+
apt-get install -y --no-install-recommends \
8+
ca-certificates \
9+
curl \
10+
dpkg-dev \
11+
git \
12+
gcc \
13+
gnupg \
14+
g++ \
15+
libc6-dev \
16+
libffi-dev \
17+
libgmp-dev \
18+
libnuma-dev \
19+
libtinfo-dev \
20+
make \
21+
netbase \
22+
xz-utils \
23+
zlib1g-dev && \
24+
rm -rf /var/lib/apt/lists/*
25+
26+
ARG STACK=3.1.1
27+
ARG STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
28+
29+
RUN set -eux; \
30+
cd /tmp; \
31+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; \
32+
STACK_URL="https://github.com/commercialhaskell/stack/releases/download/v${STACK}/stack-${STACK}-linux-$ARCH.tar.gz"; \
33+
# sha256 from https://github.com/commercialhaskell/stack/releases/download/v${STACK}/stack-${STACK}-linux-$ARCH.tar.gz.sha256
34+
case "$ARCH" in \
35+
'aarch64') \
36+
STACK_SHA256='033cb75bad3a5299b522c99e8056915bd081879f5df312e6d44d7511fc567455'; \
37+
;; \
38+
'x86_64') \
39+
STACK_SHA256='d096125ea3d987a55d17f7d4f8599ee2fd96bd2d0f033566e28ddfe248f730f9'; \
40+
;; \
41+
*) echo >&2 "error: unsupported architecture '$ARCH'" ; exit 1 ;; \
42+
esac; \
43+
curl -sSL "$STACK_URL" -o stack.tar.gz; \
44+
echo "$STACK_SHA256 stack.tar.gz" | sha256sum --strict --check; \
45+
\
46+
curl -sSL "$STACK_URL.asc" -o stack.tar.gz.asc; \
47+
GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; \
48+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$STACK_RELEASE_KEY"; \
49+
gpg --batch --verify stack.tar.gz.asc stack.tar.gz; \
50+
gpgconf --kill all; \
51+
\
52+
tar -xf stack.tar.gz -C /usr/local/bin --strip-components=1 "stack-$STACK-linux-$ARCH/stack"; \
53+
stack config set system-ghc --global true; \
54+
stack config set install-ghc --global false; \
55+
\
56+
rm -rf /tmp/*; \
57+
\
58+
stack --version;
59+
60+
ARG CABAL_INSTALL=3.14.1.0
61+
ARG CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF
62+
63+
RUN set -eux; \
64+
cd /tmp; \
65+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; \
66+
CABAL_INSTALL_TAR="cabal-install-$CABAL_INSTALL-$ARCH-linux-deb12.tar.xz"; \
67+
CABAL_INSTALL_URL="https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/$CABAL_INSTALL_TAR"; \
68+
CABAL_INSTALL_SHA256SUMS_URL="https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/SHA256SUMS"; \
69+
# sha256 from https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/SHA256SUMS
70+
case "$ARCH" in \
71+
'aarch64') \
72+
CABAL_INSTALL_SHA256='54fe7485a9b614cad2ac9ad4d76c4a71653abfb7c543d3bf908244ec4f36b89a'; \
73+
;; \
74+
'x86_64') \
75+
CABAL_INSTALL_SHA256='93d0ac530295ebe5b0de07dd7dcf1b230c0720a149a40b337178d9182461a00e'; \
76+
;; \
77+
*) echo >&2 "error: unsupported architecture '$ARCH'"; exit 1 ;; \
78+
esac; \
79+
curl -fSL "$CABAL_INSTALL_URL" -o cabal-install.tar.gz; \
80+
echo "$CABAL_INSTALL_SHA256 cabal-install.tar.gz" | sha256sum --strict --check; \
81+
\
82+
curl -sSLO "$CABAL_INSTALL_SHA256SUMS_URL"; \
83+
curl -sSLO "$CABAL_INSTALL_SHA256SUMS_URL.sig"; \
84+
GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; \
85+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$CABAL_INSTALL_RELEASE_KEY"; \
86+
gpg --batch --verify SHA256SUMS.sig SHA256SUMS; \
87+
# confirm we are verifying SHA256SUMS that matches the release + sha256
88+
grep "$CABAL_INSTALL_SHA256 $CABAL_INSTALL_TAR" SHA256SUMS; \
89+
gpgconf --kill all; \
90+
\
91+
tar -xf cabal-install.tar.gz -C /usr/local/bin; \
92+
\
93+
rm -rf /tmp/*; \
94+
\
95+
cabal --version
96+
97+
ARG GHC=9.12.1
98+
ARG GHC_RELEASE_KEY=88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4
99+
100+
RUN set -eux; \
101+
cd /tmp; \
102+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; \
103+
GHC_URL="https://downloads.haskell.org/~ghc/$GHC/ghc-$GHC-$ARCH-deb12-linux.tar.xz"; \
104+
# sha256 from https://downloads.haskell.org/~ghc/$GHC/SHA256SUMS
105+
case "$ARCH" in \
106+
'aarch64') \
107+
GHC_SHA256='c5416f383f27815060f6a1940d6afe1b6544168d7bd63f75c9052bd98cef4af5'; \
108+
;; \
109+
'x86_64') \
110+
GHC_SHA256='2ac4edd78d0a1e0d3b9b961e03fbde51e3012f5a4a1c524557d919edbde3b828'; \
111+
;; \
112+
*) echo >&2 "error: unsupported architecture '$ARCH'" ; exit 1 ;; \
113+
esac; \
114+
curl -sSL "$GHC_URL" -o ghc.tar.xz; \
115+
echo "$GHC_SHA256 ghc.tar.xz" | sha256sum --strict --check; \
116+
\
117+
GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; \
118+
curl -sSL "$GHC_URL.sig" -o ghc.tar.xz.sig; \
119+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$GHC_RELEASE_KEY"; \
120+
gpg --batch --verify ghc.tar.xz.sig ghc.tar.xz; \
121+
gpgconf --kill all; \
122+
\
123+
tar xf ghc.tar.xz; \
124+
cd "ghc-$GHC-$ARCH-unknown-linux"; \
125+
./configure --prefix "/opt/ghc/$GHC"; \
126+
make install; \
127+
\
128+
rm -rf /tmp/*; \
129+
\
130+
"/opt/ghc/$GHC/bin/ghc" --version
131+
132+
ENV PATH /root/.cabal/bin:/root/.local/bin:/opt/ghc/${GHC}/bin:$PATH
133+
134+
CMD ["ghci"]

‎9.12/slim-bookworm/Dockerfile

+134
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,134 @@
1+
FROM debian:bookworm-slim
2+
3+
ENV LANG C.UTF-8
4+
5+
# common haskell + stack dependencies
6+
RUN apt-get update && \
7+
apt-get install -y --no-install-recommends \
8+
ca-certificates \
9+
curl \
10+
dpkg-dev \
11+
git \
12+
gcc \
13+
gnupg \
14+
g++ \
15+
libc6-dev \
16+
libffi-dev \
17+
libgmp-dev \
18+
libnuma-dev \
19+
libtinfo-dev \
20+
make \
21+
netbase \
22+
xz-utils \
23+
zlib1g-dev && \
24+
rm -rf /var/lib/apt/lists/*
25+
26+
ARG STACK=3.1.1
27+
ARG STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
28+
29+
RUN set -eux; \
30+
cd /tmp; \
31+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; \
32+
STACK_URL="https://github.com/commercialhaskell/stack/releases/download/v${STACK}/stack-${STACK}-linux-$ARCH.tar.gz"; \
33+
# sha256 from https://github.com/commercialhaskell/stack/releases/download/v${STACK}/stack-${STACK}-linux-$ARCH.tar.gz.sha256
34+
case "$ARCH" in \
35+
'aarch64') \
36+
STACK_SHA256='033cb75bad3a5299b522c99e8056915bd081879f5df312e6d44d7511fc567455'; \
37+
;; \
38+
'x86_64') \
39+
STACK_SHA256='d096125ea3d987a55d17f7d4f8599ee2fd96bd2d0f033566e28ddfe248f730f9'; \
40+
;; \
41+
*) echo >&2 "error: unsupported architecture '$ARCH'" ; exit 1 ;; \
42+
esac; \
43+
curl -sSL "$STACK_URL" -o stack.tar.gz; \
44+
echo "$STACK_SHA256 stack.tar.gz" | sha256sum --strict --check; \
45+
\
46+
curl -sSL "$STACK_URL.asc" -o stack.tar.gz.asc; \
47+
GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; \
48+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$STACK_RELEASE_KEY"; \
49+
gpg --batch --verify stack.tar.gz.asc stack.tar.gz; \
50+
gpgconf --kill all; \
51+
\
52+
tar -xf stack.tar.gz -C /usr/local/bin --strip-components=1 "stack-$STACK-linux-$ARCH/stack"; \
53+
stack config set system-ghc --global true; \
54+
stack config set install-ghc --global false; \
55+
\
56+
rm -rf /tmp/*; \
57+
\
58+
stack --version;
59+
60+
ARG CABAL_INSTALL=3.14.1.0
61+
ARG CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF
62+
63+
RUN set -eux; \
64+
cd /tmp; \
65+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; \
66+
CABAL_INSTALL_TAR="cabal-install-$CABAL_INSTALL-$ARCH-linux-deb12.tar.xz"; \
67+
CABAL_INSTALL_URL="https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/$CABAL_INSTALL_TAR"; \
68+
CABAL_INSTALL_SHA256SUMS_URL="https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/SHA256SUMS"; \
69+
# sha256 from https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/SHA256SUMS
70+
case "$ARCH" in \
71+
'aarch64') \
72+
CABAL_INSTALL_SHA256='54fe7485a9b614cad2ac9ad4d76c4a71653abfb7c543d3bf908244ec4f36b89a'; \
73+
;; \
74+
'x86_64') \
75+
CABAL_INSTALL_SHA256='93d0ac530295ebe5b0de07dd7dcf1b230c0720a149a40b337178d9182461a00e'; \
76+
;; \
77+
*) echo >&2 "error: unsupported architecture '$ARCH'"; exit 1 ;; \
78+
esac; \
79+
curl -fSL "$CABAL_INSTALL_URL" -o cabal-install.tar.gz; \
80+
echo "$CABAL_INSTALL_SHA256 cabal-install.tar.gz" | sha256sum --strict --check; \
81+
\
82+
curl -sSLO "$CABAL_INSTALL_SHA256SUMS_URL"; \
83+
curl -sSLO "$CABAL_INSTALL_SHA256SUMS_URL.sig"; \
84+
GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; \
85+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$CABAL_INSTALL_RELEASE_KEY"; \
86+
gpg --batch --verify SHA256SUMS.sig SHA256SUMS; \
87+
# confirm we are verifying SHA256SUMS that matches the release + sha256
88+
grep "$CABAL_INSTALL_SHA256 $CABAL_INSTALL_TAR" SHA256SUMS; \
89+
gpgconf --kill all; \
90+
\
91+
tar -xf cabal-install.tar.gz -C /usr/local/bin; \
92+
\
93+
rm -rf /tmp/*; \
94+
\
95+
cabal --version
96+
97+
ARG GHC=9.12.1
98+
ARG GHC_RELEASE_KEY=88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4
99+
100+
RUN set -eux; \
101+
cd /tmp; \
102+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"; \
103+
GHC_URL="https://downloads.haskell.org/~ghc/$GHC/ghc-$GHC-$ARCH-deb12-linux.tar.xz"; \
104+
# sha256 from https://downloads.haskell.org/~ghc/$GHC/SHA256SUMS
105+
case "$ARCH" in \
106+
'aarch64') \
107+
GHC_SHA256='c5416f383f27815060f6a1940d6afe1b6544168d7bd63f75c9052bd98cef4af5'; \
108+
;; \
109+
'x86_64') \
110+
GHC_SHA256='2ac4edd78d0a1e0d3b9b961e03fbde51e3012f5a4a1c524557d919edbde3b828'; \
111+
;; \
112+
*) echo >&2 "error: unsupported architecture '$ARCH'" ; exit 1 ;; \
113+
esac; \
114+
curl -sSL "$GHC_URL" -o ghc.tar.xz; \
115+
echo "$GHC_SHA256 ghc.tar.xz" | sha256sum --strict --check; \
116+
\
117+
GNUPGHOME="$(mktemp -d)"; export GNUPGHOME; \
118+
curl -sSL "$GHC_URL.sig" -o ghc.tar.xz.sig; \
119+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$GHC_RELEASE_KEY"; \
120+
gpg --batch --verify ghc.tar.xz.sig ghc.tar.xz; \
121+
gpgconf --kill all; \
122+
\
123+
tar xf ghc.tar.xz; \
124+
cd "ghc-$GHC-$ARCH-unknown-linux"; \
125+
./configure --prefix "/opt/ghc/$GHC"; \
126+
make install; \
127+
\
128+
rm -rf /tmp/*; \
129+
\
130+
"/opt/ghc/$GHC/bin/ghc" --version
131+
132+
ENV PATH /root/.cabal/bin:/root/.local/bin:/opt/ghc/${GHC}/bin:$PATH
133+
134+
CMD ["ghci"]

0 commit comments

Comments
 (0)
Please sign in to comment.