From fb04bf6f93ac4bb86492b721b1a0e41c84efbb39 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Wed, 28 Jun 2017 11:36:05 -0400 Subject: [PATCH] docker-full: install libgmp-dev & libreadline-dev Signed-off-by: Jean Privat --- misc/docker/full/Dockerfile | 2 ++ 1 file changed, 2 insertions(+) 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 \ -- 1.7.9.5