From f9665d0f4a2fe9d6aed272ffb4c9b618593249d7 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 16 Sep 2018 13:55:13 -0700
Subject: [PATCH] Linux Dockerfile: try upgrading stack.

---
 linux/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

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