diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-09-16 13:55:13 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-09-16 13:55:13 -0700 |
| commit | f9665d0f4a2fe9d6aed272ffb4c9b618593249d7 (patch) | |
| tree | 42a00658957b1985a4d9e40d9fe326acf97f7005 /linux | |
| parent | 5776e62edff7007d6915d6cfc3fbecf63177b62c (diff) | |
| download | pandoc-f9665d0f4a2fe9d6aed272ffb4c9b618593249d7.tar.gz | |
Linux Dockerfile: try upgrading stack.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile index f2f59e9c5..314de3b01 100644 --- a/linux/Dockerfile +++ b/linux/Dockerfile @@ -9,6 +9,8 @@ ENV PATH="/usr/local/bin:${PATH}" RUN ulimit -n 4096 RUN stack config set system-ghc --global true RUN stack setup --resolver lts-12 +# Upgrade to latest stack... +RUN stack install stack RUN mkdir -p /usr/src/ WORKDIR /usr/src/ RUN git clone https://github.com/jgm/pandoc |