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