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