From a852973b1952e87ce608a1dbde452e1ac0623d61 Mon Sep 17 00:00:00 2001
From: Tim Dysinger <tim@dysinger.net>
Date: Wed, 30 Mar 2016 17:06:05 -0700
Subject: [PATCH] remove docker container

resolves #1969
---
 etc/docker/ubuntu-with-libgmp/Dockerfile | 15 ---------------
 stack.yaml                               |  5 -----
 2 files changed, 20 deletions(-)
 delete mode 100644 etc/docker/ubuntu-with-libgmp/Dockerfile

diff --git a/etc/docker/ubuntu-with-libgmp/Dockerfile b/etc/docker/ubuntu-with-libgmp/Dockerfile
deleted file mode 100644
index 62d4539402..0000000000
--- a/etc/docker/ubuntu-with-libgmp/Dockerfile
+++ /dev/null
@@ -1,15 +0,0 @@
-#-*- mode:conf; -*-
-
-FROM ubuntu:14.04
-MAINTAINER Tim Dysinger <tim@fpcomplete.com>
-
-ENV DEBIAN_FRONTEND noninteractive
-# RUN apt-get update \
-#  && apt-get install -y net-tools
-# RUN echo "Acquire::http { Proxy \"http://$(netstat -nr|grep '^0\.0\.0\.0'|awk '{print $2}'):3142\"; };" \
-#   | tee /etc/apt/apt.conf.d/02proxy
-RUN apt-get update \
- && apt-get install -y netbase ca-certificates libgmp10 \
- && apt-get clean
-RUN update-ca-certificates
-# RUN rm /etc/apt/apt.conf.d/02proxy
diff --git a/stack.yaml b/stack.yaml
index a84acb278f..ef702c82c8 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,9 +1,4 @@
 resolver: lts-5.3
-image:
-  containers:
-    - base: "fpco/ubuntu-with-libgmp:14.04"
-      entrypoints:
-        - stack
 nix:
   # --nix on the command-line to enable.
   enable: false