Dockerfile 1 KB
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
  autoconf \
  automake \
  bison \
  build-essential \
  ca-certificates \
  clang \
  cmake \
  coinor-libipopt-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
15
  curl \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
16
17
18
  flex \
  gfortran \
  git \
19
  libadolc-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
20
  libboost-dev \
21
  libboost-program-options-dev \
22
  libboost-serialization-dev \
23
24
  libboost-system-dev \
  libgtest-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
25
  libltdl-dev \
26
  libtinyxml2-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
27
28
29
30
  libtool \
  mpi-default-bin \
  mpi-default-dev \
  openssh-client \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
31
  pkg-config \
32
  python-dev \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
33
  python3 \
Ansgar Burchardt's avatar
Ansgar Burchardt committed
34
  && apt-get clean && rm -rf /var/lib/apt/lists/*
Ansgar Burchardt's avatar
Ansgar Burchardt committed
35
36
37
RUN adduser --disabled-password --home /duneci duneci
USER duneci
WORKDIR /duneci
Ansgar Burchardt's avatar
Ansgar Burchardt committed
38
RUN mkdir -p /duneci/bin /duneci/modules
39
ENV DUNE_CONTROL_PATH=.:/duneci/modules
Ansgar Burchardt's avatar
Ansgar Burchardt committed
40
ENV PATH=/duneci/bin:$PATH
41
COPY opts.clang opts.gcc /duneci/
Ansgar Burchardt's avatar
Ansgar Burchardt committed
42
COPY duneci-ctest /duneci/bin/