Makefile: choose linux docker image depending on arch.
This commit is contained in:
parent
9837444330
commit
70f9709455
1 changed files with 10 additions and 1 deletions
11
Makefile
11
Makefile
|
@ -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)
|
pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
|
||||||
SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$")
|
SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$")
|
||||||
BRANCH?=master
|
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)
|
COMMIT=$(shell git rev-parse --short HEAD)
|
||||||
TIMESTAMP=$(shell date "+%Y%m%d_%H%M")
|
TIMESTAMP=$(shell date "+%Y%m%d_%H%M")
|
||||||
LATESTBENCH=$(word 1,$(shell ls -t bench_*.csv || exit 0))
|
LATESTBENCH=$(word 1,$(shell ls -t bench_*.csv || exit 0))
|
||||||
|
@ -83,7 +91,8 @@ debpkg: man/pandoc.1
|
||||||
-v `pwd`/linux/artifacts:/artifacts \
|
-v `pwd`/linux/artifacts:/artifacts \
|
||||||
-e REVISION=$(REVISION) \
|
-e REVISION=$(REVISION) \
|
||||||
-w /mnt \
|
-w /mnt \
|
||||||
registry.gitlab.b-data.ch/ghc/ghc4pandoc:8.10.4 \
|
--rm \
|
||||||
|
$(DOCKERIMAGE) \
|
||||||
bash \
|
bash \
|
||||||
/mnt/linux/make_artifacts.sh
|
/mnt/linux/make_artifacts.sh
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue