FROM debian:8
MAINTAINER Ansgar.Burchardt@tu-dresden.de
RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
  && apt-get install --no-install-recommends --yes \
  autoconf \
  automake \
  bison \
  build-essential \
  ca-certificates \
  clang \
  cmake \
  coinor-libipopt-dev \
  flex \
  gfortran \
  git \
  libadolc-dev \
  libboost-dev \
  libtinyxml2-dev \
  libltdl-dev \
  libtool \
  mpi-default-bin \
  mpi-default-dev \
  openssh-client \
  pkg-config \
  python-dev \
  && apt-get clean && rm -rf /var/lib/apt/lists/*
RUN adduser --disabled-password --home /duneci duneci
USER duneci
WORKDIR /duneci