aboutsummaryrefslogtreecommitdiff
path: root/static-linux
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-03-19 10:24:25 +0100
committerJohn MacFarlane <jgm@berkeley.edu>2017-03-19 10:24:25 +0100
commit5922237b5886e9d5a9f452ec43014dedf4534a2b (patch)
treede9042f031b2bb00e9b7e030423b5e6dd5ef1860 /static-linux
parent18ff3db1f0ac56a6e99cf5d06c38952ad8e884d8 (diff)
downloadpandoc-5922237b5886e9d5a9f452ec43014dedf4534a2b.tar.gz
static-linux: allow setting TREE to build from arbitrary git commit.
Diffstat (limited to 'static-linux')
-rw-r--r--static-linux/Dockerfile1
-rw-r--r--static-linux/Makefile5
2 files changed, 4 insertions, 2 deletions
diff --git a/static-linux/Dockerfile b/static-linux/Dockerfile
index 7c66f2029..cf44d9472 100644
--- a/static-linux/Dockerfile
+++ b/static-linux/Dockerfile
@@ -20,6 +20,7 @@ RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
--test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \
pandoc pandoc-citeproc
CMD git pull && \
+ git checkout -b work $TREE && \
export VERSION=`grep '^Version:' pandoc.cabal | awk '{print $$2;}'` && \
stack install --stack-yaml stack.pkg.yaml \
--local-bin-path /artifacts --flag 'pandoc:embed_data_files' \
diff --git a/static-linux/Makefile b/static-linux/Makefile
index d8dc8151d..8c359da7b 100644
--- a/static-linux/Makefile
+++ b/static-linux/Makefile
@@ -1,11 +1,12 @@
+TREE?=HEAD
ARTIFACTS=`pwd`/artifacts
build:
mkdir -p $(ARTIFACTS)
- docker run -v $(ARTIFACTS):/artifacts alpine-pandoc
+ docker build -t alpine-pandoc .
+ docker run --env TREE=$(TREE) -v $(ARTIFACTS):/artifacts alpine-pandoc
setup:
docker pull alpine:edge
- docker build -t alpine-pandoc .
.PHONY: build setup