From 5776e62edff7007d6915d6cfc3fbecf63177b62c Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 16 Sep 2018 13:53:43 -0700
Subject: [PATCH] Remove upx stuff from Dockerfile.

---
 linux/Dockerfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/linux/Dockerfile b/linux/Dockerfile
index e25ff3f1c..f2f59e9c5 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -5,10 +5,7 @@ RUN apk add alpine-sdk git ca-certificates ghc gmp-dev zlib-dev bash dpkg fakero
 # GRAB A RECENT BINARY OF STACK
 # Note that 1.6.5 is the last one with a static binary...
 RUN curl -L https://github.com/commercialhaskell/stack/releases/download/v1.6.5/stack-1.6.5-linux-x86_64-static.tar.gz | tar xz --wildcards --strip-components=1 -C /usr/local/bin '*/stack'
-# COMPRESS WITH UPX
-ADD https://github.com/lalyos/docker-upx/releases/download/v3.91/upx /usr/local/bin/upx
 ENV PATH="/usr/local/bin:${PATH}"
-RUN chmod 755 /usr/local/bin/upx
 RUN ulimit -n 4096
 RUN stack config set system-ghc --global true
 RUN stack setup --resolver lts-12