diff --git a/bin/wally-tool-chain-install.sh b/bin/wally-tool-chain-install.sh index bb243ce7a..2a34ae937 100755 --- a/bin/wally-tool-chain-install.sh +++ b/bin/wally-tool-chain-install.sh @@ -424,9 +424,12 @@ if [ ! -e "${RISCV}"/site-setup.sh ]; then wget https://raw.githubusercontent.com/openhwgroup/cvw/main/site-setup.csh # Add necessary lines to site-setup script to activate newer version of gcc for older distros if [ "$FAMILY" = rhel ]; then + echo "# Activate newer gcc version" >> site-setup.sh echo "source /opt/rh/gcc-toolset-13/enable" >> site-setup.sh elif [ "$UBUNTU_VERSION" = 20 ]; then + echo "# Activate newer gcc version" >> site-setup.sh echo "export PATH=\$RISCV/gcc-10/bin:\$PATH" >> site-setup.sh + echo "# Activate newer gcc version" >> site-setup.csh echo "prepend PATH \$RISCV/gcc-10/bin" >> site-setup.csh fi echo -e "${SUCCESS_COLOR}Site setup script successfully downloaded${ENDC}"