Dockerfile 643 Bytes
Newer Older
Ansgar Burchardt's avatar
Ansgar Burchardt committed
1 2
FROM debian:stretch
MAINTAINER Ansgar.Burchardt@tu-dresden.de
Ansgar Burchardt's avatar
Ansgar Burchardt committed
3 4
RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
  && apt-get install --no-install-recommends --yes \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
5 6 7 8 9 10 11 12 13 14 15
  autoconf \
  automake \
  bison \
  build-essential \
  ca-certificates \
  clang \
  cmake \
  coinor-libipopt-dev \
  flex \
  gfortran \
  git \
16
  libadolc-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
17
  libboost-dev \
18
  libtinyxml2-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
19 20 21 22 23
  libltdl-dev \
  libtool \
  mpi-default-bin \
  mpi-default-dev \
  openssh-client \
24
  python-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
25
  pkg-config \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
26
  && apt-get clean && rm -rf /var/lib/apt/lists/*
Ansgar Burchardt's avatar
Ansgar Burchardt committed
27 28 29
RUN adduser --disabled-password --home /duneci duneci
USER duneci
WORKDIR /duneci