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 -y
   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         wget
  18
  19 # Enable colors in git
  20 RUN git config --global color.ui auto
  21
  22 WORKDIR ~