1FROM debian:stretch-backports 2 3RUN apt-get update 4RUN apt-get install -y \ 5 flex \ 6 bison \ 7 pkg-config \ 8 x11proto-dri2-dev \ 9 python-docutils \ 10 valgrind \ 11 peg 12 13RUN dpkg --add-architecture armhf 14RUN apt-get update 15RUN apt-get install -y \ 16 gcc-arm-linux-gnueabihf \ 17 libatomic1:armhf \ 18 libpciaccess-dev:armhf \ 19 libkmod-dev:armhf \ 20 libprocps-dev:armhf \ 21 libunwind-dev:armhf \ 22 libdw-dev:armhf \ 23 zlib1g-dev:armhf \ 24 liblzma-dev:armhf \ 25 libcairo-dev:armhf \ 26 libpixman-1-dev:armhf \ 27 libudev-dev:armhf \ 28 libgsl-dev:armhf \ 29 libasound2-dev:armhf \ 30 libjson-c-dev:armhf \ 31 libcurl4-openssl-dev:armhf \ 32 libxrandr-dev:armhf \ 33 libxv-dev:armhf 34 35RUN apt-get install -t stretch-backports -y \ 36 meson \ 37 libdrm-dev:armhf \ 38 qemu-user \ 39 qemu-user-static 40