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

[nit.git] / misc / docker / full / Dockerfile

diff --git a/misc/docker/full/Dockerfile b/misc/docker/full/Dockerfile
index e6bfe66..8967125 100644 (file)
--- 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 \