From a0d781bdd88fa9a3615519ccbb2a58faee7be922 Mon Sep 17 00:00:00 2001
From: Casey Kuhlman <casey@erisindustries.com>
Date: Wed, 3 Jun 2015 20:32:22 +0200
Subject: [PATCH] add gmp so that docker images build correctly

---
 Dockerfile | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 64b4ff6db..eb99f70e6 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -8,6 +8,11 @@ ENV DEBCONF_NOWARNINGS yes
 ENV TERM linux
 RUN echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections
 
+RUN apt-get update && \
+  apt-get install -y --no-install-recommends \
+    libgmp3-dev && \
+  rm -rf /var/lib/apt/lists/*
+
 # Install go
 # ADD tendermint user
 RUN useradd tendermint
@@ -16,12 +21,12 @@ RUN useradd tendermint
 RUN usermod -s /sbin/nologin tendermint
 
 ADD . /go/src/github.com/tendermint/tendermint
-WORKDIR /go/src/github.com/tendermint/tendermint 
+WORKDIR /go/src/github.com/tendermint/tendermint
 RUN make
 
 # Set environment variables
 USER tendermint
 ENV USER tendermint
 ENV TMROOT /tendermint_root
-# docker run -v $(pwd)/tendermint_root:/tendermint_root 
+# docker run -v $(pwd)/tendermint_root:/tendermint_root
 CMD [ "./build/tendermint", "node" ]