diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-05 19:11:12 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-05 19:11:12 -0800 |
commit | 5c4eb7246b068deac1a9eac397094098f68ab048 (patch) | |
tree | b8acb3ca189c7e01c323330a5d0bf311fe59fc67 /Makefile | |
parent | df00cf05cbf817b7d8e7de0a4a220dd70f8a9608 (diff) | |
download | pandoc-5c4eb7246b068deac1a9eac397094098f68ab048.tar.gz |
Makefile: debpkg: use new multi-arch GHC 8.10.4 docker...
...created by Olivier Benz. This should allow us to
build on arm architecture.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -83,7 +83,8 @@ debpkg: man/pandoc.1 -v `pwd`/linux/artifacts:/artifacts \ -e REVISION=$(REVISION) \ -w /mnt \ - utdemir/ghc-musl:v12-libgmp-ghc8101 bash \ + registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4 \ + bash \ /mnt/linux/make_artifacts.sh man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after |