base-9: Use clang-3.8

clang-3.6 has problems with GCC-6's libstdc++, see for example the
failing build of dune-grid[1].  With clang-3.8 these problems seem to
have been solved.

  [1] https://gitlab.dune-project.org/core/dune-grid/builds/1200
parent 2def59a3
......@@ -9,7 +9,7 @@ The current images are:
| image | parent | description |
|--------------------------|-----------------|-----------------------------------------------------------|
| duneci/base:8 | debian:8 | Debian 8 with gcc 4.9.2, clang 3.5, cmake 3.0.2 |
| duneci/base:9 | debian:9 | Debian 9 with gcc 6.1.1, clang 3.6, cmake 3.5.2 |
| duneci/base:9 | debian:9 | Debian 9 with gcc 6.1.1, clang 3.8, cmake 3.5.2 |
| duneci/dune:2.3 | duneci/base:8 | DUNE 2.3 core modules from Debian |
| duneci/dune:2.4 | duneci/base:9 | DUNE 2.4 core modules from Debian |
| duneci/dune:git | duneci/base:9 | DUNE 3.0-dev snapshot |
......
......@@ -9,7 +9,7 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
bison \
build-essential \
ca-certificates \
clang \
clang-3.8 \
cmake \
coinor-libipopt-dev \
curl \
......
CMAKE_FLAGS="-DCMAKE_CXX_COMPILER='/usr/bin/clang++' -DCMAKE_C_COMPILER=/usr/bin/clang -DCMAKE_CXX_FLAGS='-O2 -g -Wall -fcolor-diagnostics'"
CMAKE_FLAGS="-DCMAKE_CXX_COMPILER='/usr/bin/clang++-3.8' -DCMAKE_C_COMPILER=/usr/bin/clang-3.8 -DCMAKE_CXX_FLAGS='-O2 -g -Wall -fcolor-diagnostics'"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment