diff --git a/centos-7/Dockerfile b/centos-7/Dockerfile index 6d60037c005a9606bc4183fab2b866b1be1c8d3d..7cd2a12250d1567137acd09631b14e9252ac12fa 100644 --- a/centos-7/Dockerfile +++ b/centos-7/Dockerfile @@ -8,7 +8,7 @@ LABEL authors="Moritz Maxeiner <moritz.maxeiner@fu-berlin.de>" ENV BASH_ENV "/etc/profile" RUN yum install -y centos-release-scl && \ yum install -y epel-release && \ - yum install -y devtoolset-9 && \ + yum install -y devtoolset-8 && \ yum install -y rh-git218-git && \ yum clean all ADD bash/toolchain.sh /etc/profile.d/toolchain.sh diff --git a/centos-7/bash/toolchain.sh b/centos-7/bash/toolchain.sh index 63e1a96ed7328f5140775046ea353f84aeb3e843..2e7ccc2156f84c9ee29e8179e7cb40f81ef8e056 100644 --- a/centos-7/bash/toolchain.sh +++ b/centos-7/bash/toolchain.sh @@ -1,5 +1,5 @@ -# GCC 9 -source scl_source enable devtoolset-9 +# GCC 8 +source scl_source enable devtoolset-8 # Git 2.18 source scl_source enable rh-git218