summaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-03-26 20:48:17 +0200
committerJohn MacFarlane <jgm@berkeley.edu>2017-03-26 20:48:17 +0200
commit1fa15c225b515e1fa1c6566f90f1be363a4d770f (patch)
tree9d0037db4ed5b68e65ba5e55f85e1533e2287d55 /linux
parentd0447151cf48d8da5fe251e4d3eb6a4fd0f05490 (diff)
Revert "Use file-embed instead of hsb2hs to embed data files."
This reverts commit 10d91c147968d2e4d63b99b5b0342624827f416f.
Diffstat (limited to 'linux')
-rw-r--r--linux/Dockerfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile
index b725bbaa5..630abc17e 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -14,6 +14,7 @@ RUN mkdir -p /usr/src/
WORKDIR /usr/src/
RUN git clone https://github.com/jgm/pandoc
WORKDIR /usr/src/pandoc
+RUN stack install --local-bin-path /usr/bin hsb2hs
RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
--flag 'pandoc:embed_data_files' \
--test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \