diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-05 23:32:03 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-05 23:32:03 -0800 |
commit | 70f9709455a6531bd9366d0e67194280d2accef2 (patch) | |
tree | c474409c73d11d1c376a9df96e17157d8aafc375 | |
parent | 98374443309b47b6393afcc46ef39e3800064e5e (diff) | |
download | pandoc-70f9709455a6531bd9366d0e67194280d2accef2.tar.gz |
Makefile: choose linux docker image depending on arch.
-rw-r--r-- | Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -2,6 +2,14 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}') pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1) SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$") BRANCH?=master +ARCH=$(shell uname -m) +ifeq ($(ARCH),amd64) +DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4@sha256:83cfc60cb1df984b14d6277946002de6bc7bec25c827f5f9de3b0c5d3aeaa571 +else ifeq($(ARCH),aarch64) +DOCKERIMAGE=registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4@sha256:e54a66cf8ef7f8a60b93f6a51cae7a0bd853a763098ffb3dbda2bf91b7ab49ad +else +DOCKERIMAGE=UNSUPPORTEDARCHITECTURE +endif COMMIT=$(shell git rev-parse --short HEAD) TIMESTAMP=$(shell date "+%Y%m%d_%H%M") LATESTBENCH=$(word 1,$(shell ls -t bench_*.csv || exit 0)) @@ -83,7 +91,8 @@ debpkg: man/pandoc.1 -v `pwd`/linux/artifacts:/artifacts \ -e REVISION=$(REVISION) \ -w /mnt \ - registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4 \ + --rm \ + $(DOCKERIMAGE) \ bash \ /mnt/linux/make_artifacts.sh |