git.iko.soy/typeable/pandoc
on master help sign in
Makefile: choose linux docker image depending on arch.
commit70f9709455a6531bd9366d0e67194280d2accef2 authorJohn MacFarlane <jgm@berkeley.edu> dateFri 5 Mar 2021, 23:32 (6 years ago) parent9837444
1 file changed+10−1
Makefile+10−1
Makefile+10−1
@@ -2,6 +2,14 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}')
22pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
33SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$")
44BRANCH?=master
5+ARCH=$(shell uname -m)
6+ifeq ($(ARCH),amd64)
7+DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4@sha256:83cfc60cb1df984b14d6277946002de6bc7bec25c827f5f9de3b0c5d3aeaa571
8+else ifeq($(ARCH),aarch64)
9+DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4@sha256:e54a66cf8ef7f8a60b93f6a51cae7a0bd853a763098ffb3dbda2bf91b7ab49ad
10+else
11+DOCKERIMAGE=UNSUPPORTEDARCHITECTURE
12+endif
513COMMIT=$(shell git rev-parse --short HEAD)
614TIMESTAMP=$(shell date "+%Y%m%d_%H%M")
715LATESTBENCH=$(word 1,$(shell ls -t bench_*.csv || exit 0))
@@ -83,7 +91,8 @@ debpkg: man/pandoc.1
8391 -v `pwd`/linux/artifacts:/artifacts \
8492 -e REVISION=$(REVISION) \
8593 -w /mnt \
86− registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4 \
94+ --rm \
95+ $(DOCKERIMAGE) \
8796 bash \
8897 /mnt/linux/make_artifacts.sh
8998