fix gitpod (#658)

This commit is contained in:
Johannes Wünsch
2019-10-14 11:55:12 +02:00
committed by zadam
parent 1923bf7dda
commit 24c8e8fc2b
3 changed files with 21 additions and 2 deletions

15
.gitpod.dockerfile Normal file
View File

@@ -0,0 +1,15 @@
FROM gitpod/workspace-full
RUN sudo apt-get update \
&& sudo apt-get install -yq --no-install-recommends \
libpng16-16 \
libpng-dev \
pkg-config \
autoconf \
libtool \
build-essential \
nasm \
libx11-dev \
libxkbfile-dev \
&& sudo rm -rf /var/lib/apt/lists/*