#!/bin/bash set -e cat >>conf/config.sh <> ./conf/config.sh echo "CCOMPILERCXX=\"clang++\"" >> ./conf/config.sh ;; "clang6" ) time sudo apt-get install -y clang-6.0 echo "CCOMPILERC=\"clang-6.0\"" >> ./conf/config.sh echo "CCOMPILERCXX=\"clang++-6.0\"" >> ./conf/config.sh ;; "clang9" ) time sudo apt-get install -y clang-9 echo "CCOMPILERC=\"clang-9\"" >> ./conf/config.sh echo "CCOMPILERCXX=\"clang++-9\"" >> ./conf/config.sh ;; "clang10" ) time sudo apt-get install -y clang-10 echo "CCOMPILERC=\"clang-10\"" >> ./conf/config.sh echo "CCOMPILERCXX=\"clang++-10\"" >> ./conf/config.sh ;; * ) echo "Unknown compiler $COMPILER" exit 1 ;; esac