Skip to content

Commit 6499171

Browse files
develop7develop7
committed
add: Dockerfile generator initial draft
1 parent c34f977 commit 6499171

26 files changed

+1158
-189
lines changed

‎.github/workflows/debian.yml‎

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -35,17 +35,18 @@ jobs:
3535
- ghc: '9.12.2'
3636
ghc_minor: '9.12'
3737
deb: 'slim-bookworm'
38+
- ghc: '9.12.2'
39+
ghc_minor: '9.12'
40+
deb: 'bullseye'
41+
- ghc: '9.12.2'
42+
ghc_minor: '9.12'
43+
deb: 'slim-bullseye'
3844
- ghc: '9.10.2'
3945
ghc_minor: '9.10'
4046
- ghc: '9.8.4'
4147
ghc_minor: '9.8'
4248
- ghc: '9.6.7'
4349
ghc_minor: '9.6'
44-
exclude:
45-
- ghc: '9.12.2'
46-
deb: 'bullseye'
47-
- ghc: '9.12.2'
48-
deb: 'slim-bullseye'
4950
steps:
5051
- uses: actions/checkout@v4
5152
- name: build + smoke test [${{ matrix.ghc }}]

‎.gitignore‎

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
generator/.stack-work
2+
generator/dist-newstyle
3+
/.idea
4+
15
keys/*
26

37
### https://raw.github.com/github/gitignore/2399ff1c7957fa3b4eeecefa7354bbe50776063b/Global/Emacs.gitignore
@@ -55,7 +59,8 @@ tramp
5559
.LSOverride
5660

5761
# Icon must end with two \r
58-
Icon
62+
Icon
63+
5964

6065
# Thumbnails
6166
._*

‎9.12/_globals.yaml‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
# Global tools' versions and release keys, for deduplication across distros
2+
# and architectures. Individual distros can override these if necessary.
3+
---
4+
stack:
5+
version: "3.3.1"
6+
release_key: "C5705533DA4F78D8664B5DC0575159689BEFB442"
7+
sha256sum:
8+
"aarch64": 'bdd618ea5a9c921417727011f2ecd78987dffa5cee5e741108baf65a9b5b58ab'
9+
"x86_64": '88d7e517342c125b0a098d9d578fe53e590618ae4b2427283a27408a1ebd06d8'
10+
cabal_install:
11+
version: "3.14.1.1"
12+
release_key: "EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF"

‎9.12/bookworm.yaml‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
distro:
3+
codename: 'bookworm'
4+
abbr: 'deb12'
5+
image: 'debian:bookworm'
6+
ghc:
7+
version: "9.12.2"
8+
release_key: "FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD"
9+
sha256sum:
10+
"aarch64": 'bee95bc91a621d8a2e9a9d86dac28ff839605e87316518dae12c779709bd58f1'
11+
"x86_64": '447ec2fcc773ae9ebc3f39766c719641631274f9b765d7426a8cbe9241677c9f'
12+
cabal_install:
13+
sha256sum:
14+
"aarch64": 'f763fb2af2bc1ff174b7361a7d51109a585954f87a0e14f86d144f3bce28f7a9'
15+
"x86_64": '73a463306c771e18ca22c0a9469176ffab0138ec5925adb5364ef47174e1adc5'
16+
_globals: !include '_globals.yaml'

‎9.12/bookworm/Dockerfile‎

Lines changed: 99 additions & 90 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,8 @@ FROM debian:bookworm
33
ENV LANG=C.UTF-8
44

55
# common haskell + stack dependencies
6-
RUN apt-get update && \
6+
RUN <<EOT
7+
apt-get update && \
78
apt-get install -y --no-install-recommends \
89
ca-certificates \
910
curl \
@@ -22,112 +23,120 @@ RUN apt-get update && \
2223
xz-utils \
2324
zlib1g-dev && \
2425
rm -rf /var/lib/apt/lists/*
26+
EOT
2527

2628
ARG STACK=3.3.1
2729
ARG STACK_RELEASE_KEY=C5705533DA4F78D8664B5DC0575159689BEFB442
2830

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"; \
31+
RUN <<EOT
32+
set -eux
33+
cd /tmp
34+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"
35+
STACK_URL="https://github.com/commercialhaskell/stack/releases/download/v${STACK}/stack-${STACK}-linux-$ARCH.tar.gz"
3336
# 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='bdd618ea5a9c921417727011f2ecd78987dffa5cee5e741108baf65a9b5b58ab'; \
37-
;; \
38-
'x86_64') \
39-
STACK_SHA256='88d7e517342c125b0a098d9d578fe53e590618ae4b2427283a27408a1ebd06d8'; \
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-
\
37+
case "$ARCH" in
38+
'aarch64')
39+
STACK_SHA256='bdd618ea5a9c921417727011f2ecd78987dffa5cee5e741108baf65a9b5b58ab'
40+
;;
41+
'x86_64')
42+
STACK_SHA256='88d7e517342c125b0a098d9d578fe53e590618ae4b2427283a27408a1ebd06d8'
43+
;;
44+
*) echo >&2 "error: unsupported architecture '$ARCH'" exit 1 ;
45+
esac
46+
curl -sSL "$STACK_URL" -o stack.tar.gz
47+
echo "$STACK_SHA256 stack.tar.gz" | sha256sum --strict --check
48+
49+
curl -sSL "$STACK_URL.asc" -o stack.tar.gz.asc
50+
GNUPGHOME="$(mktemp -d)"
51+
export GNUPGHOME
52+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$STACK_RELEASE_KEY"
53+
gpg --batch --verify stack.tar.gz.asc stack.tar.gz
54+
gpgconf --kill all
55+
56+
tar -xf stack.tar.gz -C /usr/local/bin --strip-components=1 "stack-$STACK-linux-$ARCH/stack"
57+
stack config set system-ghc --global true
58+
stack config set install-ghc --global false
59+
60+
rm -rf /tmp/*
61+
5862
stack --version;
63+
EOT
5964

6065
ARG CABAL_INSTALL=3.14.1.1
6166
ARG CABAL_INSTALL_RELEASE_KEY=EAF2A9A722C0C96F2B431CA511AAD8CEDEE0CAEF
6267

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"; \
68+
RUN <<EOT
69+
set -eux
70+
cd /tmp
71+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"
72+
CABAL_INSTALL_TAR="cabal-install-$CABAL_INSTALL-$ARCH-linux-deb12.tar.xz"
73+
CABAL_INSTALL_URL="https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/$CABAL_INSTALL_TAR"
74+
CABAL_INSTALL_SHA256SUMS_URL="https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/SHA256SUMS"
6975
# sha256 from https://downloads.haskell.org/~cabal/cabal-install-$CABAL_INSTALL/SHA256SUMS
70-
case "$ARCH" in \
71-
'aarch64') \
72-
CABAL_INSTALL_SHA256='f763fb2af2bc1ff174b7361a7d51109a585954f87a0e14f86d144f3bce28f7a9'; \
73-
;; \
74-
'x86_64') \
75-
CABAL_INSTALL_SHA256='73a463306c771e18ca22c0a9469176ffab0138ec5925adb5364ef47174e1adc5'; \
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; \
76+
case "$ARCH" in
77+
'aarch64')
78+
CABAL_INSTALL_SHA256='f763fb2af2bc1ff174b7361a7d51109a585954f87a0e14f86d144f3bce28f7a9'
79+
;;
80+
'x86_64')
81+
CABAL_INSTALL_SHA256='73a463306c771e18ca22c0a9469176ffab0138ec5925adb5364ef47174e1adc5'
82+
;;
83+
*) echo >&2 "error: unsupported architecture '$ARCH'"; exit 1 ;;
84+
esac
85+
curl -fSL "$CABAL_INSTALL_URL" -o cabal-install.tar.gz
86+
echo "$CABAL_INSTALL_SHA256 cabal-install.tar.gz" | sha256sum --strict --check
87+
88+
curl -sSLO "$CABAL_INSTALL_SHA256SUMS_URL"
89+
curl -sSLO "$CABAL_INSTALL_SHA256SUMS_URL.sig"
90+
GNUPGHOME="$(mktemp -d)"; export GNUPGHOME
91+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$CABAL_INSTALL_RELEASE_KEY"
92+
gpg --batch --verify SHA256SUMS.sig SHA256SUMS
8793
# 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-
\
94+
grep "$CABAL_INSTALL_SHA256 $CABAL_INSTALL_TAR" SHA256SUMS
95+
gpgconf --kill all;
96+
97+
tar -xf cabal-install.tar.gz -C /usr/local/bin
98+
99+
rm -rf /tmp/*
100+
95101
cabal --version
102+
EOT
96103

97-
ARG GHC=9.12.2
98-
ARG GHC_RELEASE_KEY=FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD
104+
ARG GHC='9.12.2'
105+
ARG GHC_RELEASE_KEY='FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD'
99106

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"; \
107+
RUN <<EOT
108+
set -eux
109+
cd /tmp
110+
ARCH="$(dpkg-architecture --query DEB_BUILD_GNU_CPU)"
111+
GHC_URL="https://downloads.haskell.org/~ghc/$GHC/ghc-$GHC-$ARCH-deb12-linux.tar.xz"
104112
# sha256 from https://downloads.haskell.org/~ghc/$GHC/SHA256SUMS
105-
case "$ARCH" in \
106-
'aarch64') \
107-
GHC_SHA256='bee95bc91a621d8a2e9a9d86dac28ff839605e87316518dae12c779709bd58f1'; \
108-
;; \
109-
'x86_64') \
110-
GHC_SHA256='447ec2fcc773ae9ebc3f39766c719641631274f9b765d7426a8cbe9241677c9f'; \
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-
\
113+
case "$ARCH" in
114+
'aarch64')
115+
GHC_SHA256='bee95bc91a621d8a2e9a9d86dac28ff839605e87316518dae12c779709bd58f1'
116+
;;
117+
'x86_64')
118+
GHC_SHA256='447ec2fcc773ae9ebc3f39766c719641631274f9b765d7426a8cbe9241677c9f'
119+
;;
120+
*) echo >&2 "error: unsupported architecture '$ARCH'" ; exit 1 ;;
121+
esac
122+
curl -sSL "$GHC_URL" -o ghc.tar.xz
123+
echo "$GHC_SHA256 ghc.tar.xz" | sha256sum --strict --check
124+
125+
GNUPGHOME="$(mktemp -d)"; export GNUPGHOME
126+
curl -sSL "$GHC_URL.sig" -o ghc.tar.xz.sig
127+
gpg --batch --keyserver keyserver.ubuntu.com --receive-keys "$GHC_RELEASE_KEY"
128+
gpg --batch --verify ghc.tar.xz.sig ghc.tar.xz
129+
gpgconf --kill all
130+
131+
tar xf ghc.tar.xz
132+
cd "ghc-$GHC-$ARCH-unknown-linux"
133+
./configure --prefix "/opt/ghc/$GHC"
134+
make install
135+
136+
rm -rf /tmp/*
137+
130138
"/opt/ghc/$GHC/bin/ghc" --version
139+
EOT
131140

132141
ENV PATH=/root/.cabal/bin:/root/.local/bin:/opt/ghc/${GHC}/bin:$PATH
133142

‎9.12/bullseye.yaml‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
---
2+
distro:
3+
codename: 'bullseye'
4+
abbr: 'deb11'
5+
image: 'debian:bullseye'
6+
ghc:
7+
version: "9.12.2"
8+
release_key: "FFEB7CE81E16A36B3E2DED6F2DE04D4E97DB64AD"
9+
sha256sum:
10+
"aarch64": '6048eae62ede069459398fa6f2e92ab9719e1b83e93a9014e6a410c54ed2755f' # hash from deb10 bindist
11+
"x86_64": '47d5faba492545b49b8dd49a79e64b4ef8eb4b1632d4ddc64355ce4e812eec75'
12+
cabal_install:
13+
sha256sum:
14+
"aarch64": '5e8c47a055d5b744741039a7061ee43ec7d080d1251784e7a4cd836403e42523'
15+
"x86_64": '41b85bb25fa654e4b79169014b9142fe696ff35e002e043caa0e52d65204ba8a'
16+
overrides:
17+
ghc:
18+
"aarch64":
19+
# GHC 9.12.2 doesn't have a deb11 bindist for aarch64 for some reason, so we're using the deb10 one instead
20+
url: "https://downloads.haskell.org/~ghc/9.12.2/ghc-9.12.2-aarch64-deb10-linux.tar.xz"
21+
_globals: !include '_globals.yaml'
22+

0 commit comments

Comments
 (0)