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