add new duneci/base:10 image

Based on current Debian testing and configured to use modern
compilers in C++17 mode.

.gitlab-ci.yml

@@ -39,6 +39,13 @@ base:9:
  only:
  - master@ansgar/dune-docker
 
+base:10:
+ stage: stage1
+ script:
+ - ./bin/duneci-build-docker-image duneci/base:10 base-common base-10
+ only:
+ - master@ansgar/dune-docker
+
 base:16.04:
  stage: stage1
  script:

README.md

@@ -11,6 +11,7 @@ The current images are:
 | duneci/base:8            | debian:8          | Debian 8 with gcc 4.9.2, clang 3.5, cmake 3.0.2            |
 | duneci/base:8-backports  | duneci/base:8     | Debian 8 with gcc 4.9.2, clang 3.8 (backport), cmake 3.0.2 |
 | duneci/base:9            | debian:9          | Debian 9 with gcc 6.3, clang 3.8, cmake 3.7                |
+| duneci/base:10           | debian:10         | Debian 9 with gcc 7, clang 4.0, cmake 3.7                  |
 | duneci/base:16.04        | ubuntu:16.04      | Ubuntu LTS 16.04 with gcc 5.4.0, clang 3.8.0, cmake 3.5.1  |
 | duneci/base:16.10        | ubuntu:16.10      | Ubuntu 16.10 with gcc 6.2.0, clang 3.8.1, cmake 3.5.2      |
 | duneci/dune:2.3          | duneci/base:8     | DUNE 2.3 core modules (Debian packages)                    |

base-10/Dockerfile

+FROM debian:buster
+MAINTAINER Ansgar.Burchardt@tu-dresden.de
+RUN rm -f /etc/apt/apt.conf.d/docker-gzip-indexes \
+  && rm -rf /var/lib/apt/lists/*
+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-4.0 \
+  cmake \
+  coinor-libipopt-dev \
+  curl \
+  flex \
+  g++-7 \
+  gcc-7 \
+  gfortran \
+  git \
+  gnuplot-nox \
+  libadolc-dev \
+  libalberta-dev \
+  libboost-dev \
+  libboost-program-options-dev \
+  libboost-serialization-dev \
+  libboost-system-dev \
+  libgtest-dev \
+  libltdl-dev \
+  libscotchmetis-dev \
+  libsuitesparse-dev \
+  libsuperlu-dev \
+  libtinyxml2-dev \
+  libtool \
+  locales-all \
+  mpi-default-bin \
+  mpi-default-dev \
+  ninja-build \
+  openssh-client \
+  pkg-config \
+  python-dev \
+  python-numpy \
+  python-vtk6 \
+  python3 \
+  python3-numpy \
+  && apt-get clean && rm -rf /var/lib/apt/lists/*
+RUN adduser --disabled-password --home /duneci --uid 50000 duneci
+USER duneci
+WORKDIR /duneci
+RUN mkdir -p /duneci/bin /duneci/modules
+ENV DUNE_CONTROL_PATH=.:/duneci/modules
+ENV PATH=/duneci/bin:$PATH
+COPY opts.clang opts.gcc /duneci/
+COPY dune-ctest /duneci/bin/
+RUN ln -s dune-ctest /duneci/bin/duneci-ctest
+COPY duneci-install-module /duneci/bin/
+COPY duneci-standard-test /duneci/bin/

base-10/opts.clang

+CMAKE_FLAGS="-DCMAKE_CXX_COMPILER=/usr/bin/clang++-4.0 -DCMAKE_C_COMPILER=/usr/bin/clang-4.0 -DCXX_MAX_STANDARD=17 -DCMAKE_CXX_FLAGS='-O2 -g -Wall -fcolor-diagnostics -ftemplate-backtrace-limit=0'"

base-10/opts.gcc

+CMAKE_FLAGS="-DCMAKE_CXX_COMPILER=/usr/bin/g++-7 -DCMAKE_C_COMPILER=/usr/bin/gcc-7 -DCXX_MAX_STANDARD=17 -DCMAKE_CXX_FLAGS='-O2 -g -Wall -fdiagnostics-color=always'"