Use devtoolset 7

As devtoolset 6 worked on CentOS 6, upgrading to devtoolset 7 is better as
it will be supported for a longer time.
This commit is contained in:
Markus Mäkelä 2018-08-10 23:21:19 +03:00
parent 57471c7baa
commit c984381662
No known key found for this signature in database
GPG Key ID: 72D48FCE664F7B19

View File

@ -81,11 +81,11 @@ else
sudo yum -y install centos-release-scl || \
sudo yum-config-manager --enable rhui-REGION-rhel-server-rhscl
sudo yum -y install devtoolset-6-gcc-c++
source /opt/rh/devtoolset-6/enable
sudo yum -y install devtoolset-7-gcc-c++
source /opt/rh/devtoolset-7/enable
# Enable it by default
echo "source /opt/rh/devtoolset-6/enable" >> ~/.bashrc
echo "source /opt/rh/devtoolset-7/enable" >> ~/.bashrc
fi
fi