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