diff --git a/apps/ci/ci-install.sh b/apps/ci/ci-install.sh new file mode 100644 index 000000000..99f267c50 --- /dev/null +++ b/apps/ci/ci-install.sh @@ -0,0 +1,71 @@ +#!/bin/bash + +set -e + +cat >>conf/config.sh <> ./conf/config.sh + echo "CCOMPILERCXX=\"g++\"" >> ./conf/config.sh + ;; + + "gcc10" ) + time sudo apt-get install -y gcc-10 g++-10 + echo "CCOMPILERC=\"gcc-10\"" >> ./conf/config.sh + echo "CCOMPILERCXX=\"g++-10\"" >> ./conf/config.sh + ;; + + # this is in order to use the "default" clang version of the OS, without forcing a specific version + "clang" ) + time sudo apt-get install -y clang + echo "CCOMPILERC=\"clang\"" >> ./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