From ea71166611685a0cbcf4b14a702f93f3e27786d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20Omn=C3=A8s?= Date: Tue, 23 Jul 2024 10:41:38 +0200 Subject: [PATCH] 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. --- .github/workflows/centos7.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/centos7.yml b/.github/workflows/centos7.yml index 23eb7e8ce7..4d7700e203 100644 --- 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