tools/docker/Dockerfile

   1 # This image is based on the latest stable version of Debian
   2 FROM debian:stable
   3
   4 # Install all updates
   5 RUN apt-get update && apt-get dist-upgrade
   6
   7 # Install all packages needed for the build
   8 RUN apt-get install -y \
   9         build-essential \
  10         autoconf \
  11         automake \
  12         bison \
  13         flex \
  14         gawk \
  15         git \
  16         libz-dev
  17
  18 # Enable colors in git
  19 RUN git config --global color.ui auto
  20
  21 WORKDIR ~