Switch to gcc 10

Author: cschreib

.github/workflows/cmake.yml

@@ -51,6 +51,14 @@ jobs:
  version: ${{env.EM_VERSION}}
  actions-cache-folder: ${{env.EM_CACHE_FOLDER}}
 
+ # GCC 9 has a bug which prevents compilation of the testing framework, so switch to GCC 10.
+ - name: Setup GCC
+ if: matrix.platform.compiler == 'g++'
+ run: |
+ sudo apt install g++-10
+ sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-10 100 --slave /usr/bin/g++ g++ /usr/bin/g++-10 --slave /usr/bin/gcov gcov /usr/bin/gcov-10
+ sudo update-alternatives --set gcc /usr/bin/gcc-10
+
  - name: Create Build Environment
  run: cmake -E make_directory ${{github.workspace}}/build