From 1fa15c225b515e1fa1c6566f90f1be363a4d770f Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 26 Mar 2017 20:48:17 +0200 Subject: Revert "Use file-embed instead of hsb2hs to embed data files." This reverts commit 10d91c147968d2e4d63b99b5b0342624827f416f. --- linux/Dockerfile | 1 + 1 file changed, 1 insertion(+) (limited to 'linux') 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' \ -- cgit v1.2.3