diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-11-03 21:08:12 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-11-03 21:08:12 -0700 |
| commit | 3af988a67156195f22c906a56d2c10ebf5ab74d8 (patch) | |
| tree | d27fd4cfa20b5aaf6145fa9002e4ef34a27c3bb2 /linux | |
| parent | bf17af65a7dfafeb69df62e9b06a90bb2cfd2023 (diff) | |
| download | pandoc-3af988a67156195f22c906a56d2c10ebf5ab74d8.tar.gz | |
linux/Dockerfile - use resolver lts-12.12.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile index 7d90ac757..e533f6c36 100644 --- a/linux/Dockerfile +++ b/linux/Dockerfile @@ -9,7 +9,7 @@ RUN chmod +x /usr/local/bin/stack ENV PATH="/usr/local/bin:${PATH}" RUN ulimit -n 4096 RUN stack config set system-ghc --global true -RUN stack setup --resolver lts-12 +RUN stack setup --resolver lts-12.12 RUN mkdir -p /usr/src/ WORKDIR /usr/src/ RUN git clone https://github.com/jgm/pandoc |