aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorDaniel Gröber <dxld@darkboxed.org>2020-04-17 02:39:55 +0200
committerDaniel Gröber <dxld@darkboxed.org>2020-05-01 18:46:14 +0200
commit296cb3d524098ec25fd3074c9318d5e3a3898dc5 (patch)
tree303168cfa8404a2345e112965c34e99850b11a07 /scripts
parent5ae2e4a4c75e314d80f0bde52483653dea9d207a (diff)
Update CI images for GHC 8.10.1 and 8.8.3
Diffstat (limited to 'scripts')
-rw-r--r--scripts/build-ci-images.sh24
1 files changed, 16 insertions, 8 deletions
diff --git a/scripts/build-ci-images.sh b/scripts/build-ci-images.sh
index 20132d1..521139a 100644
--- a/scripts/build-ci-images.sh
+++ b/scripts/build-ci-images.sh
@@ -18,20 +18,28 @@ image=debian:buster
cabal=3.0.0.0
stack=2.1.3
-ghc_arch=x86_64-deb8-linux
-ghcs='8.8.1 8.6.5 8.4.4 8.2.2 8.0.2'
-
stack_url="${STACK_BASE}/v${stack}/stack-${stack}-linux-x86_64-static.tar.gz"
stack_file="$(basename "$stack_url")"
mkdir -p "$dldir"
-printf '%s\n' $ghcs > "$tmpdir"/ghcs
+
+cat >"$tmpdir"/ghc_table <<EOF
+8.10.1 x86_64-deb9-linux
+8.8.3 x86_64-deb8-linux
+8.6.5 x86_64-deb8-linux
+8.4.4 x86_64-deb8-linux
+8.2.2 x86_64-deb8-linux
+8.0.2 x86_64-deb8-linux
+EOF
{
echo "$stack_url"
- for ghc in $ghcs; do
+ ghcs=
+ while read -r ghc ghc_arch ; do
echo "${GHC_BASE}/${ghc}/ghc-${ghc}-${ghc_arch}.tar.xz"
- done
+ ghcs="${ghcs:+$ghcs }$ghc"
+ done < "$tmpdir"/ghc_table
+ printf '%s' "$ghcs" >> "$tmpdir"/ghcs
} | tee "$tmpdir"/ghc-urls | xargs -n1 -P$(nproc) sh -ue -c '
cd "$1"
wget -nv -nc -c "$3"
@@ -96,10 +104,10 @@ COPY --from=build /usr/local/ /usr/local/
EOF
-tag="${namespace}:ghc-$(printf '%s' "$ghcs" | tr ' ' '-')--cabal-install-${cabal}--stack-${stack}"
+tag="${namespace}:ghc-$(printf '%s' "$(cat "$tmpdir"/ghcs)" | tr ' ' '-')--cabal-install-${cabal}--stack-${stack}"
docker build -t "$tag" "$tmpdir"
-for ghc in $ghcs; do
+for ghc in $(cat "$tmpdir"/ghcs); do
stag="${namespace}:ghc-${ghc}--cabal-install-${cabal}--stack-${stack}"
printf '%s\n' \
"FROM $tag" \