From: Jean Privat <jean@pryen.org>
Date: Wed, 28 Jun 2017 15:36:05 +0000 (-0400)
Subject: docker-full: install libgmp-dev & libreadline-dev
X-Git-Url: http://nitlanguage.org

docker-full: install libgmp-dev & libreadline-dev

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/misc/docker/full/Dockerfile b/misc/docker/full/Dockerfile
index e6bfe66..8967125 100644
--- a/misc/docker/full/Dockerfile
+++ b/misc/docker/full/Dockerfile
@@ -14,8 +14,10 @@ RUN dpkg --add-architecture i386 \
 		libgles1-mesa-dev \
 		libgles2-mesa-dev \
 		libgtk-3-dev \
+		libgmp-dev \
 		libncurses5-dev \
 		libpq-dev \
+		libreadline-dev \
 		libsdl-image1.2-dev \
 		libsdl-ttf2.0-dev \
 		libsdl1.2-dev \