base-10: gcc-7 is now the default compiler

base-10/Dockerfile

@@ -14,8 +14,6 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
   coinor-libipopt-dev \
   curl \
   flex \
-  g++-7 \
-  gcc-7 \
   gfortran \
   git \
   git-lfs \

base-10/opts.gcc.c++17

-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' ${DUNECI_PARALLEL:+-DDUNE_MAX_TEST_CORES=${DUNECI_PARALLEL}} -DCMAKE_INSTALL_PREFIX=/duneci/install"
+CMAKE_FLAGS="-DCMAKE_CXX_COMPILER=/usr/bin/g++ -DCMAKE_C_COMPILER=/usr/bin/gcc -DCXX_MAX_STANDARD=17 -DCMAKE_CXX_FLAGS='-O2 -g -Wall -fdiagnostics-color=always' ${DUNECI_PARALLEL:+-DDUNE_MAX_TEST_CORES=${DUNECI_PARALLEL}} -DCMAKE_INSTALL_PREFIX=/duneci/install"