Makefile: debpkg: use new multi-arch GHC 8.10.4 docker...
...created by Olivier Benz. This should allow us to
build on arm architecture.
commitb005ce851b3eb3069c9a2092c92c0ef076efe3d8
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 5 Mar 2021, 19:11 (6 years ago)
parent1aeb2be
Makefile+2−1
@@ -83,7 +83,8 @@ debpkg: man/pandoc.1
8383 -v `pwd`/linux/artifacts:/artifacts \
8484 -e REVISION=$(REVISION) \
8585 -w /mnt \
86− utdemir/ghc-musl:v12-libgmp-ghc8101 bash \
86+ registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4 \
87+ bash \
8788 /mnt/linux/make_artifacts.sh
8889
8990man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after