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 \
# Android NDK
&& curl http://dl.google.com/android/repository/android-ndk-r11c-linux-x86_64.zip -o android-ndk.zip \
&& unzip -q android-ndk.zip \
+ && chmod -R a+X /opt \
&& ln -s android-ndk-r11c android-ndk \
&& rm android-ndk.zip \
&& printf "PATH=$PATH:$ANDROID_HOME/tools:$ANDROID_HOME/platform-tools:$ANDROID_NDK\nexport PATH\n" >> "/etc/profile.d/android.sh"