Use devtoolset-11 on CentOS7 to fix build (#2282)

OR-Tools 9.10-rte1.0 was built with devtoolset-11, so we use the same toolchain to avoid compatibility issues.
AntaresSimulatorTeam · Jul 23, 2024 · ea71166 · ea71166
1 parent d9b944e
commit ea71166
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/centos7.yml b/.github/workflows/centos7.yml
@@ -44,7 +44,7 @@ jobs:
     - name: Install gcc 10
       run: |
         yum install -y centos-release-scl
-        yum install -y devtoolset-10-gcc*
+        yum install -y devtoolset-11-gcc*
 
     - name: Install cmake 3.28
       run: pip3 install cmake==3.28.4
@@ -94,7 +94,7 @@ jobs:
 
     - name: Configure
       run: |
-        source /opt/rh/devtoolset-10/enable
+        source /opt/rh/devtoolset-11/enable
         source /opt/rh/rh-git227/enable
         cmake -B _build -S src \
         -DCMAKE_C_COMPILER_LAUNCHER=ccache \
@@ -110,7 +110,7 @@ jobs:
 
     - name: Build
       run: |
-           source /opt/rh/devtoolset-10/enable
+           source /opt/rh/devtoolset-11/enable
            source /opt/rh/rh-git227/enable
            cmake --build _build --config Release -j$(nproc)
            ccache -s