Dockerfile 792 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 rm -f /etc/apt/apt.conf.d/docker-gzip-indexes \
  && rm -rf /var/lib/apt/lists/*
Ansgar Burchardt's avatar
Ansgar Burchardt committed
5
6
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
7
8
9
10
11
12
13
14
15
16
17
  autoconf \
  automake \
  bison \
  build-essential \
  ca-certificates \
  clang \
  cmake \
  coinor-libipopt-dev \
  flex \
  gfortran \
  git \
18
  libadolc-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
19
  libboost-dev \
20
  libboost-serialization-dev \
21
  libtinyxml2-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
22
23
24
25
26
  libltdl-dev \
  libtool \
  mpi-default-bin \
  mpi-default-dev \
  openssh-client \
27
  python-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
28
  pkg-config \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
29
  && apt-get clean && rm -rf /var/lib/apt/lists/*
Ansgar Burchardt's avatar
Ansgar Burchardt committed
30
31
32
RUN adduser --disabled-password --home /duneci duneci
USER duneci
WORKDIR /duneci
33
COPY opts.clang opts.gcc /duneci